Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic.
Alberto Del BimboEnrico VicarioDaniele ZingoniPublished in: IEEE Trans. Knowl. Data Eng. (1995)
Keyphrases
- temporal logic
- symbolic description
- image sequences
- model checking
- spatio temporal
- modal logic
- temporal filtering
- satisfiability problem
- transition systems
- concurrent systems
- visual features
- verification method
- temporal knowledge
- temporal analysis
- computation tree logic
- visual information
- belief revision
- mazurkiewicz traces
- query language
- model checker
- linear temporal logic
- query processing
- formal specification
- computer vision
- video sequences
- reinforcement learning
- motion estimation