Regional Video Object Segmentation by Efficient Motion-Aware Mask Propagation | IEEE Conference Publication | IEEE Xplore