A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time.

Henri Hansen Mark Timmer

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

Keyphrases

probabilistic model
bayesian networks
real time
databases
model checking
information theoretic
uncertain data
computer vision
decision making
image processing
clustering algorithm
video sequences
posterior probability
probabilistic reasoning
probabilistic networks