
PITA
 Referenced in 19 articles
[sw06950]
 need to combine the probabilities of explanations that may not be exclusive. As one alternative...

gamair
 Referenced in 290 articles
[sw11132]
 mixed models. Moreover, the book contains explanations of the theory underlying the statistical methods ... prerequisite is an honest course in probability and statistics. Finally, let us note that...

SPFlow
 Referenced in 1 article
[sw35052]
 computing marginals, conditionals and (approximate) most probable explanations (MPEs) along with sampling as well...

JavaBayes
 Referenced in 3 articles
[sw13963]
 Bayesian networks: it calculates marginal probabilities and expectations, produces explanations, performs robustness analysis, and allows...

MizarMode
 Referenced in 18 articles
[sw01973]
 authoring tool of choice for many (probably the majority of) Mizar authors. This article describes ... start with the explanation of the design principles behind the Mizar system, and show...

BAHAMAS
 Referenced in 4 articles
[sw20222]
 confirm (at the 95% probability level) the existence of two subpopulations segregated by host ... rule out some possible explanations for this behaviour, which remains unexplained...

ReLogit
 Referenced in 1 article
[sw26220]
 logistic regression, can shar ply underestimate the probability of rare events. We recommend corrections that ... vations but relatively few, and poorly measured, explanator y variables, such as in international conflict...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PSPLIB
 Referenced in 253 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

CPnets
 Referenced in 135 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

MaxSolver
 Referenced in 20 articles
[sw01990]
 Maximum Boolean satisfiability (maxSAT) is the optimization...

GOLOG
 Referenced in 170 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

UCIml
 Referenced in 3100 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

Walksat
 Referenced in 208 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Yices
 Referenced in 141 articles
[sw04436]
 Yices is an efficient SMT solver that decides...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives...

KELLEY
 Referenced in 610 articles
[sw04829]
 Iterative methods for optimization This book gives an...

LIBSVM
 Referenced in 1101 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...