Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic

Bowman, H. and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. (Full text available)

Other (zip)
Download (68kB)
[img]
PDF
Download (279kB)
[img]
Preview
Postscript
Download (234kB)
[img]
Preview

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: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 29 Jul 2009 17:28
Last Modified: 20 Apr 2012 11:33
Resource URI: http://kar.kent.ac.uk/id/eprint/21471 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year