Level set evolution without re-initialization: a new variational formulation | IEEE Conference Publication | IEEE Xplore