Yair Weiss Correctness of Local Probability Propagation in Graphical Models with Loops. 1-41 2000 12 Neural Computation 1 db/journals/neco/neco12.html#Weiss00