Effpi: verified message-passing programs in Dotty.
Alceste ScalasNobuko YoshidaElias BenussiPublished in: SCALA@ECOOP (2019)
Keyphrases
- message passing
- belief propagation
- distributed systems
- distributed shared memory
- shared memory
- probabilistic inference
- factor graphs
- sum product algorithm
- approximate inference
- inference in graphical models
- graphical models
- loopy belief propagation
- markov random field
- sum product
- stereo matching
- parallel algorithm
- image registration
- pairwise