Efficient Probabilistic Spatio-Temporal Video Object Segmentation | IEEE Conference Publication | IEEE Xplore