A Benchmark Dataset and Evaluation Methodology for Video Object Segmentation | IEEE Conference Publication | IEEE Xplore