Formal Model of Temporal Properties Underlying Multimedia Presentation.
Timothy K. ShihLain-Jinn HwangJich-Yan TsaiPublished in: MMM (1996)
Keyphrases
- formal model
- temporal properties
- multimedia presentations
- model checking
- multimedia databases
- multimedia
- possibility theory
- multimedia data
- security properties
- data mining
- security patterns
- formal methods
- similarity measure
- high dimensional data
- software engineering
- expert systems
- digital libraries
- metadata
- knowledge base
- machine learning
- databases