Adding Temporal Annotations and Associated Verification to Ravenscar Profile.
Alan BurnsTse-Min LinPublished in: Ada-Europe (2003)
Keyphrases
- temporal information
- spatio temporal
- metadata
- spatial and temporal
- annotation tool
- temporal constraints
- user profiles
- model checking
- formal verification
- temporal data
- verification method
- space time
- case study
- image annotation
- keywords
- gene ontology
- temporal reasoning
- data sets
- temporal analysis
- temporal patterns
- databases
- website
- database systems
- motion estimation