Artificial Intelligence - Special issue on knowledge representation
Synchronization models for multimedia presentation with user participation
Multimedia Systems
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Spatio-temporal composition and indexing for large multimedia applications
Multimedia Systems
A multimedia presentation algebra
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Later: Managing Temporal Information Efficiently
IEEE Expert: Intelligent Systems and Their Applications
Interval-Based Conceptual Models for Time-Dependent Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Interactive Authoring of Multimedia Documents
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Events in Interactive Multimedia Applications: Modeling and Implementation Design
ICMCS '97 Proceedings of the 1997 International Conference on Multimedia Computing and Systems
An integrated environment for the presentation of consistent SMIL 2.0 documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Expressiveness Issues and Decision Problems for Active Database Event Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Automatic temporal layout mechanisms revisited
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking
IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence in Medicine
Designing consistent multimedia documents: the RT-LOTOS methodology
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Indexing and mining audiovisual data
AM'03 Proceedings of the Second international conference on Active Mining
Managing valid time semantics for semistructured multimedia clinical data
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Hi-index | 0.00 |
When authoring multimedia scenarios, and in particular scenarios with user interaction, where the sequence and time of occurrence of interactions is not predefined, it is difficult to guarantee the consistency of the resulting scenarios. As a consequence, the execution of the scenario may result in unexpected behavior or inconsistent use of media. The present paper proposes a methodology for checking the temporal integrity of interactive multimedia document (IMD) scenarios at authoring time at various levels. The IMD flow is mainly defined by the events occurring during the IMD session. Integrity checking consists of a set of discrete steps, during which we transform the scenario into temporal constraint networks representing the constraints linking the different possible events in the scenario. Temporal constraint verification techniques are applied to verify the integrity of the scenario, deriving a minimal network, showing possible temporal relationships between events given a set of constraints.