Probabilistic divide & congruence: Branching bisimilarity.

Valentina Castiglioni Simone Tini

Published in: Theor. Comput. Sci. (2020)

Keyphrases

probabilistic model
bayesian networks
generative model
uncertain data
computer vision
branch and bound
probabilistic approaches
real time
databases
neural network
information technology
relational databases
probability distribution
information theoretic
probabilistic logic
probabilistic databases