A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic
[chapter]
2000
Applied Logic Series
This paper explores a formalism for describing a wide class of multimedia document constraints. We outline the requirements on temporal logic speci cation that arise from the multimedia documents application area. In particular, we highlight a canonical document example. Then we present the temporal logic formalism that we use. This formalism extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called
doi:10.1007/978-94-015-9586-5_22
fatcat:alwcl73ytbgxnhgoi25bicpiaa