Temporal Properties Underlying Multimedia Presentations with Z Notations.

Timothy K. Shih Huan-Chao Keh Ying-Hong Wang Ying-Feng Kuo

Published in: J. Inf. Sci. Eng. (1999)

Keyphrases

temporal properties
multimedia presentations
model checking
multimedia
multimedia data
formal methods
multimedia objects
possibility theory
multimedia databases
knowledge acquisition
data mining
high level
expert systems
modeling language