Interactive Segmentation as Gaussian Process Classification | IEEE Conference Publication | IEEE Xplore