Formal specification of multimedia authoring

T. K. Shih, Ding An Chiang, Huan Chao Keh, Chien Chou Shis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

An interactive multimedia presentation system is introduced. We firstly define a formal specification for interactive presentations in the Z notation. The model looks at the presentation from two views: the navigation view and the representation view. The presentation navigation is based on message passing among presentation frames of a presentation, while common information is inherited and shared by frames. The system allows a presenter to plan the audience's reaction in advance. When the audience is matching a presentation, the underlying inference system is learning from his/her responses. This mechanism makes a presentation to be proceeded again act according to the audience's background and knowledge. Thus, the resulting presentation is more diversified.

Original languageEnglish
Title of host publicationProceedings - International Workshop on Multimedia Software Development, MMSD 1996
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages128-137
Number of pages10
ISBN (Electronic)081867511X, 9780818675119
DOIs
StatePublished - 1996
Event1996 International Workshop on Multimedia Software Development, MMSD 1996 - Berlin, Germany
Duration: 25 Mar 199626 Mar 1996

Publication series

NameProceedings - International Workshop on Multimedia Software Development, MMSD 1996

Conference

Conference1996 International Workshop on Multimedia Software Development, MMSD 1996
Country/TerritoryGermany
CityBerlin
Period25/03/9626/03/96

Fingerprint

Dive into the research topics of 'Formal specification of multimedia authoring'. Together they form a unique fingerprint.

Cite this