Semi-supervised change detection via Gaussian processes | IEEE Conference Publication | IEEE Xplore