A message-passing interpretation of adjoint logic.
Klaas PruiksmaFrank PfenningPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- message passing
- belief propagation
- distributed systems
- optimal control
- markov random field
- factor graphs
- shared memory
- logic programming
- probabilistic inference
- approximate inference
- sum product algorithm
- ldpc codes
- sum product
- distributed shared memory
- inference in graphical models
- stereo matching
- message passing interface
- error correction
- free energy
- high quality
- input image
- reinforcement learning