A Bayesian formulation of graph-cut surface estimation with global shape priors | IEEE Conference Publication | IEEE Xplore