Complete Distributed Consequence Finding with Message Passing.
Katsumi InoueGauvain BourgneTakayuki OkamotoPublished in: ICAART (2) (2011)
Keyphrases
- message passing
- distributed systems
- consequence finding
- belief propagation
- probabilistic inference
- shared memory
- approximate inference
- inference in graphical models
- distributed shared memory
- factor graphs
- theorem proving
- sum product
- graph cuts
- graphical models
- markov random field
- three dimensional
- image matching
- knowledge representation
- image processing