Efficient semantic segmentation with Gaussian processes and histogram intersection kernels | IEEE Conference Publication | IEEE Xplore