@inproceedings{c8a0a2ad1b79448587cf75faed927095,
title = "Formal specification of multimedia authoring",
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.",
author = "Shih, {T. K.} and Chiang, {Ding An} and Keh, {Huan Chao} and Shis, {Chien Chou}",
note = "Publisher Copyright: {\textcopyright} 1996 IEEE.; 1996 International Workshop on Multimedia Software Development, MMSD 1996 ; Conference date: 25-03-1996 Through 26-03-1996",
year = "1996",
doi = "10.1109/MMSD.1996.557764",
language = "???core.languages.en_GB???",
series = "Proceedings - International Workshop on Multimedia Software Development, MMSD 1996",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "128--137",
booktitle = "Proceedings - International Workshop on Multimedia Software Development, MMSD 1996",
}