High-Quality Stereo Video Matching via User Interaction and Space-Time Propagation | IEEE Conference Publication | IEEE Xplore