A real-time encoding/decoding system (REDS) for HDTV editing | IEEE Conference Publication | IEEE Xplore