DocumentCode
1805713
Title
Temporal representation for multimedia systems
Author
Li, Minglu ; Sun, Yongqiang ; Sheng, Huanye
Author_Institution
Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
fYear
1996
fDate
19-20 May 1996
Firstpage
204
Lastpage
210
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TIME.1996.555701
Filename
555701
Link To Document