Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems.
Roy MennickePublished in: Log. Methods Comput. Sci. (2013)
Keyphrases
- message passing
- distributed systems
- distributed shared memory
- belief propagation
- expert systems
- markov random field
- shared memory
- image segmentation
- factor graphs
- propositional dynamic logic
- three dimensional
- graphical models
- probabilistic inference
- approximate inference
- matrix multiplication
- sum product algorithm