Multimedia data modeling based on temporal logic and XYZ System.
Huadong MaShenquan LiuPublished in: J. Comput. Sci. Technol. (1999)
Keyphrases
- knowledge base
- temporal logic
- multimedia data
- belief revision
- model checking
- multimedia
- rapid growth
- multimedia content
- multimedia databases
- modal logic
- multimedia information retrieval
- multimedia objects
- satisfiability problem
- efficient retrieval
- multimedia retrieval
- linear temporal logic
- concurrent systems
- reactive systems
- multimedia presentations
- temporal knowledge
- multimedia database systems
- verification method
- data sources
- high level
- computation tree logic
- databases
- copyright protection
- multimedia information
- data processing
- data management
- formal specification
- dynamic constraints
- transition systems
- bounded model checking
- data sets