Video Time Encoding and Decoding Machines