Temporal skeletons for verifying time.
Gustaf NaeserKristina LundqvistLars AsplundPublished in: SIGAda (2005)
Keyphrases
- temporal constraints
- temporal information
- temporal relations
- spatial and temporal
- temporal data
- spatio temporal
- model checking
- temporal reasoning
- shape representation
- temporal logic
- distance transform
- databases
- temporal evolution
- parallel thinning
- temporal consistency
- temporal behavior
- temporal databases
- temporal patterns
- medial axis
- object recognition
- video sequences
- knowledge base
- machine learning
- neural network