Probabilistic bisimulation as a congruence.

Ruggero Lanotte Simone Tini

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

bayesian networks
generative model
probabilistic model
neural network
databases
data driven
probabilistic databases
probabilistic relational
computer vision
knowledge base
posterior probability
probabilistic networks