Correctness of Belief Propagation in Gaussian Graphical Models of Arbitrary Topology
Correctness of Local Probability Propagation in Graphical Models with Loops