Title :
Temporal representation for multimedia systems
Author :
Li, Minglu ; Sun, Yongqiang ; Sheng, Huanye
Author_Institution :
Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Abstract :
The paper focuses on temporal representation for multimedia systems. On the basis of an interval-based indeterministic synchronization model the authors propose a new generalized synchronization model (GSM), which has fewer, more powerful interval operators. They then outline a description language paradigm as a preferred approach to specify multimedia systems, and present a new Multimedia Synchronization Description Language (MSDL), which is based on the GSM. Additionally, they demonstrate how the MSDL can be used to describe a large number of present and future multimedia systems
Keywords :
formal specification; high level languages; knowledge representation; multimedia systems; specification languages; synchronisation; temporal logic; temporal reasoning; Multimedia Synchronization Description Language; generalized synchronization model; interval operators; interval-based indeterministic synchronization model; multimedia system specification; multimedia systems; temporal representation; Animation; Carbon capture and storage; Computer science; GSM; Graphics; Multimedia systems; Petri nets; Power engineering and energy; Power system modeling; Sun;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555701
