Skip to main content

Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series . Kluwer (KAR id:21471)

Other (zip)
Language: English
Download (68kB)
[thumbnail of zip]
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF
Language: English
Download (279kB) Preview
[thumbnail of Specification_and_Prototyping_of_Structured_Multimedia_Documents_using_Interval_Temporal_Logic.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Postscript
Language: English
Download (234kB) Preview
[thumbnail of Final.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

This paper explores a formalism for describing a wide class of multimedia document constraints. The formalism is based on an interval temporal logic. We describe the requirements on temporal logic specification 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 filter and a new handling of interval length. A model theory and satisfaction relation is defined for the notation and a specification of the canonical example is presented.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: multimedia, specification, interval temporal logic, projection
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 29 Jul 2009 17:28 UTC
Last Modified: 16 Feb 2021 12:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21471 (The current URI for this page, for reference purposes)
Bowman, Howard: https://orcid.org/0000-0003-4736-1869
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):

Downloads

Downloads per month over past year