Generating Message-passing Programs from Abstract Specifications by Partial Evaluation.
Christoph A. HerrmannPublished in: Parallel Process. Lett. (2005)
Keyphrases
- message passing
- partial evaluation
- explanation based generalization
- belief propagation
- distributed systems
- probabilistic inference
- sum product algorithm
- shared memory
- markov random field
- high level
- distributed shared memory
- sum product
- factor graphs
- approximate inference
- domain theory
- modal logic
- graphical models
- data sets
- xpath queries
- natural language