Partial Order Reduction for Probabilistic Systems.

Christel Baier Marcus Größer Frank Ciesinski

Published in: QEST (2004)

Keyphrases

management system
real time
data driven
computer vision
bayesian networks
computer systems
clustering algorithm
knowledge representation
distributed systems
posterior probability
uncertain data
probabilistic logic