Probabilistic Termination in B.

Annabelle McIver Carroll Morgan Thai Son Hoang

Published in: ZB (2003)

Keyphrases

bayesian networks
generative model
probabilistic model
data driven
uncertain data
database systems
real time
data sets
case study
three dimensional
conditional probabilities
context sensitive
probabilistic reasoning
probabilistic approaches