[[abstract]]Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of how these properties are implemented. The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal specification statements that we propose in this paper. The system visualizes the design of a multimedia presentation. Our early experience in using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
This paper explores a formalism for describing a wide class of multimedia document constraints. The ...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
[[abstract]]Formal specifications use mathematical notations to precisely describe what properties a...
[[abstract]]Many interactive authoring tools were developed. However, synchronization of a multimedi...
In this paper we illustrate how the formal specification language Z can be used to reason about the ...
An interactive multimedia presentation system is introduced. We first define a model for interactive...
[[abstract]]An interactive multimedia presentation system is introduced. We firstly define a formal ...
[[abstract]]We propose a mechanism and system for the automatic generation of interactive multimedia...
[[abstract]]We propose a mechanism and system for the automatic generation of interactive multimedia...
In this paper we illustrate how the formal specification language Z can be used to reason about the ...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
[[abstract]]Proposes a mechanism and a system for the automatic generation of interactive multimedia...
[[abstract]]The importance of knowledge underlying temporal interval relations was found in many dis...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
This paper explores a formalism for describing a wide class of multimedia document constraints. The ...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
[[abstract]]Formal specifications use mathematical notations to precisely describe what properties a...
[[abstract]]Many interactive authoring tools were developed. However, synchronization of a multimedi...
In this paper we illustrate how the formal specification language Z can be used to reason about the ...
An interactive multimedia presentation system is introduced. We first define a model for interactive...
[[abstract]]An interactive multimedia presentation system is introduced. We firstly define a formal ...
[[abstract]]We propose a mechanism and system for the automatic generation of interactive multimedia...
[[abstract]]We propose a mechanism and system for the automatic generation of interactive multimedia...
In this paper we illustrate how the formal specification language Z can be used to reason about the ...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
[[abstract]]Proposes a mechanism and a system for the automatic generation of interactive multimedia...
[[abstract]]The importance of knowledge underlying temporal interval relations was found in many dis...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...
This paper explores a formalism for describing a wide class of multimedia document constraints. The ...
[[abstract]]Relations among temporal intervals can be used to assist the automatic generation of mul...