A formal approach for the presentation of interactive multimedia documents

Sampaio, Paulo N. M.; Courtiat, Jean-Pierre

doi:10.1145/354384.376346

Cited by 12 publications

(11 citation statements)

References 8 publications

(14 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reachability analysis enables the verification of consistency properties based on the description of the logical and temporal behavior of the document. The verification of IMDs is further detailed in [5], [6], [7], and [8]. The reachability graph is representative enough for the verification of consistency properties.…”

Section: Scheduling Of Imdsmentioning

confidence: 99%

“…Once the MainReader is dealing with a state of the TLA, it triggers a respective timer (5). Then, all the control of the transitions of a state is handled by the Thread Controller (6). This module creates a thread for each valid transition leaving the current state (7).…”

Section: Implementation Aspectsmentioning

confidence: 99%

“…This paper addresses the utilization of a methodology as a means to provide a formal framework for the design (specification, verification, scheduling and presentation) of complex Interactive Multimedia Documents (IMDs) [5,6,7,8].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Scheduling and presenting interactive multimedia documents

Sampaio¹,

Courtiat²

2001

IEEE International Conference on Multimedia and Expo, 2001. ICME 2001.

View full text Add to dashboard Cite

This paper presents on-going work using a formal approach for the design of Interactive Multimedia Documents (IMDs) based on the RT-LOTOS formal description technique. This work addresses more particularly the scheduling and presentation of IMDs based on a simple scheduling graph, called TLA, which is automatically derived from the document formal specification. For this purpose we present some scheduling algorithms and some implementation aspects of the resultant TLA Player. Further on, some contributions are presented concerning the optimization of pre-fetching techniques implemented in the TLA Player. At last, we present the results of some tests performed to validate the behavior of the player.

show abstract

Section: Scheduling Of Imdsmentioning

confidence: 99%

Section: Implementation Aspectsmentioning

confidence: 99%

See 1 more Smart Citation

Scheduling and presenting interactive multimedia documents

Sampaio¹,

Courtiat²

2001

IEEE International Conference on Multimedia and Expo, 2001. ICME 2001.

View full text Add to dashboard Cite

show abstract

“…A formal approach toward consistency checking of interactive multimedia documents was dealt with in [8], and an approach for temporal consistency checking based on the transformation of scenario specification into networks, called constraint network fragments (cnfs), is presented in [7]. However, the approaches presented in [8] and in [7] are not dynamic consistency checking mechanisms i.e they do not provided immediate feedback to the author of the presentation, when an invalid constraint is specified.…”

Section: Introduction and Related Workmentioning

confidence: 99%

Dynamic consistency checking for temporal and spatial relations in multimedia presentations

Elias¹,

Easwarakumar

Chbeir

2006

Proceedings of the 2006 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Creating complex multimedia presentations involves the specification of temporal and spatial relations in the form of constraints. However, some of these constraints could contradict each other and hence lead to an inconsistency. The user may not be aware of this inconsistency while authoring. Hence this inconsistency has to be identified and removed by the presentation process prior to the play-out. In this paper, we examined an existing work based on graph theory for consistency checking. We propose a modification to this approach which simplifies the algorithm, reduces its total running time, and helps to make it dynamic. Another salient feature of our paper is the introduction of new temporal and spatial operators with higher expressive power than traditional ones. Thus, this paper presents a multimedia presentation mechanism, which dynamically maintains a consistent and complete set of constraints during authoring and play-out of the presentation.

show abstract

“…The quest for a model of the complex temporal relationships in multimedia objects and presentations has been ongoing in the literature for some years [23,14,22,15,13,25]. A model of a multimedia presentation provides a declarative description of its contents and the relationships among the different elements that define it.…”

Section: Introductionmentioning

confidence: 99%

Alan: An Action Language For Modelling Non-Markovian Domains

2005

View full text Add to dashboard Cite

In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model interactive multimedia presentations where the Markov property does not always hold. In general, Alan allows the specification of systems where the future state of the world depends not only on the current state, but also on the past states of the world. To the best of our knowledge, Alan is the first action language which incorporates causality with temporal formulas. In the process of defining the effect of actions we define the closure with respect to a path rather than to a state, and show that the non-Markovian model is an extension of the traditional Markovian model. Finally, we establish relationship between theories of Alan and logic programs.

show abstract

A formal approach for the presentation of interactive multimedia documents

Cited by 12 publications

References 8 publications

Scheduling and presenting interactive multimedia documents

Scheduling and presenting interactive multimedia documents

Dynamic consistency checking for temporal and spatial relations in multimedia presentations

Alan: An Action Language For Modelling Non-Markovian Domains

Contact Info

Product

Resources

About