Visual Specification of Spatio-Temporal Developments.
Martin ErwigMarkus SchneiderPublished in: VL (1999)
Keyphrases
- spatio temporal
- high level
- spatial and temporal
- visual perception
- space time
- image sequences
- visual information
- neural network
- spatio temporal databases
- low level
- databases
- moving objects
- three dimensional
- information systems
- artificial intelligence
- spatial relations
- visual cues
- spatio temporal patterns
- high level declarative
- visual features
- genetic algorithm
- formal specification
- data mining
- visual representation
- specification language
- provably correct