A Benchmark Dataset and Evaluation Methodology for Video Object Segmentation. | AMiner