A formal method for selecting evaluation metrics for image segmentation | IEEE Conference Publication | IEEE Xplore