A Bayesian treatment of the stereo correspondence problem using half-occluded regions | Synapse