Synthesis of Safe Message-Passing Systems.

Nicolas Baudru Rémi Morin

Published in: FSTTCS (2007)

Keyphrases

message passing
distributed systems
belief propagation
distributed shared memory
markov random field
shared memory
factor graphs
probabilistic inference
approximate inference
three dimensional
multi view
graph cuts
parameter estimation
sum product algorithm
inference in graphical models