Distance-Guided Mask Propagation Model for Efficient Video Object Segmentation | IEEE Conference Publication | IEEE Xplore