Probabilistic Verification Techniques and Probabilistic Program Analysis.

Published in: AlgoSyn (2010)

Keyphrases

bayesian networks
case study
probabilistic logic
neural network
machine learning
artificial intelligence
digital libraries
information retrieval
multiscale
data structure
probabilistic model
data driven
posterior probability
context sensitive
probabilistic approaches