Sign in

Combining decision procedures by (model-)equality propagation.

Diego Caminha Barbosa De OliveiraDavid DéharbePascal Fontaine
Published in: Sci. Comput. Program. (2012)
Keyphrases
  • probabilistic model
  • decision procedures
  • machine learning
  • expert systems
  • databases
  • special case
  • probability distribution