Probabilistic Verification and Approximation.

Richard Lassaigne Sylvain Peyronnet

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

closed form
formal verification
bayesian networks
probabilistic approaches
real world
generative model
belief networks
special case
genetic algorithm
search algorithm
databases
information systems
error bounds
artificial intelligence
probabilistic reasoning
efficient computation
face verification
neural network