Reasoning about Message Passing in Finite State Environments.
B. MeenakshiRamaswamy RamanujamPublished in: ICALP (2000)
Keyphrases
- message passing
- finite state
- markov chain
- belief propagation
- distributed systems
- markov decision processes
- model checking
- sum product algorithm
- probabilistic inference
- inference in graphical models
- approximate inference
- optimal policy
- markov random field
- graphical models
- factor graphs
- distributed shared memory
- three dimensional
- graph cuts
- stereo matching
- finite state transducers
- shared memory
- state space
- search algorithm