Shape priors in variational image segmentation: Convexity, Lipschitz continuity and globally optimal solutions | IEEE Conference Publication | IEEE Xplore