Type-Checked Message-Passing between Functional Processes.
Malcolm WallaceColin RuncimanPublished in: Functional Programming (1994)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- distributed shared memory
- factor graphs
- approximate inference
- inference in graphical models
- shared memory
- sum product algorithm
- sum product
- graphical models
- markov random field
- linear programming
- message passing interface
- graph cuts
- markov chain
- matrix multiplication