Combining Temporal Specification Techniques.
Morten Ulrik SørensenOdd Erik HansenHans Henrik LøvengreenPublished in: ICTL (1994)
Keyphrases
- temporal ordering
- spatio temporal
- temporal reasoning
- temporal information
- temporal relations
- temporal constraints
- linear temporal logic
- data structure
- multiresolution
- spatial and temporal
- high level
- temporal data
- user defined
- reinforcement learning
- case study
- formal specification
- combining multiple
- temporal databases
- information systems
- temporal dimension
- genetic algorithm
- databases