• 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