PPML: Metric Learning with Prior Probability for Video Object Segmentation | IEEE Conference Publication | IEEE Xplore