Formal Analysis of Message Passing - (Invited Talk).
Stephen F. SiegelGanesh GopalakrishnanPublished in: VMCAI (2011)
Keyphrases
- message passing
- invited talk
- formal analysis
- belief propagation
- distributed systems
- knowledge discovery and data mining
- probabilistic inference
- selected papers
- shared memory
- formal methods
- inference in graphical models
- sum product algorithm
- factor graphs
- ban logic
- markov random field
- sum product
- approximate inference
- agent model
- information systems
- australasian database conference
- distributed shared memory
- artificial intelligence