Conformance Checking for Models of Asynchronous Message Passing Software.
Sriram K. RajamaniJakob RehofPublished in: CAV (2002)
Keyphrases
- message passing
- inference in graphical models
- factor graphs
- belief propagation
- distributed shared memory
- distributed systems
- prior knowledge
- model selection
- image processing
- preprocessing
- approximate inference
- markov random field
- generative model
- probabilistic inference
- shared memory
- loopy belief propagation
- reinforcement learning
- bayesian networks