Event-based Specification for Controlling Spatio-temporal Changes of Geographic situation.
Masakazu IkezakiNaoto MukaiToyohide WatanabeTaketoshi UshiamaPublished in: ICDE Workshops (2005)
Keyphrases
- spatio temporal
- high level declarative
- spatial and temporal
- high level
- space time
- spatio temporal patterns
- spatio temporal databases
- spatial temporal
- spatio temporal data
- event driven
- specification language
- information retrieval
- formal methods
- user defined
- moving objects
- image sequences
- formal specification
- event detection
- geographic information
- temporal domain
- temporal context
- three dimensional
- geographic data
- spatio temporally
- e learning