• 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 sub-populations 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 high-level 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...
  • CP-nets

  • Referenced in 135 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...
  • GOLOG

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

  • 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...