Interactive cell segmentation based on correction propagation | IEEE Conference Publication | IEEE Xplore