Bayes Smoothing Algorithms for Segmentation of Binary Images Modeled by Markov Random Fields | Synapse