Human-Machine Collaboration for Medical Image Segmentation | IEEE Conference Publication | IEEE Xplore