Human-in-the-Loop Segmentation of Multi-species Coral Imagery | IEEE Conference Publication | IEEE Xplore