Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems.
Roy MennickePublished in: CONCUR (2012)
Keyphrases
- message passing
- distributed systems
- distributed shared memory
- belief propagation
- propositional dynamic logic
- probabilistic inference
- similarity measure
- pairwise
- approximate inference
- factor graphs
- three dimensional
- object recognition
- higher order
- graphical models
- optimal solution
- shared memory
- matrix multiplication
- sum product algorithm