Sign in

Probabilistic reasoning for analysis of approximate computations.

Sasa Misailovic
Published in: CASES (2017)
Keyphrases
  • probabilistic reasoning
  • bayesian networks
  • expert systems
  • probability distribution
  • constraint satisfaction
  • probabilistic logic
  • machine learning
  • graphical models
  • np complete
  • first order logic