Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates.
Lutz PlümerGerhard GrögerPublished in: ACM-GIS (1996)
Keyphrases
- object model
- provably correct
- formal methods
- object databases
- object models
- spatial analysis
- d objects
- situation calculus
- database
- object modeling
- spatial information
- data model
- spatio temporal
- spatial and temporal
- artificial intelligence
- formal specification
- data streams
- spatial data
- object recognition
- object class
- modeling language
- reverse engineering
- knowledge based systems
- image classification
- lucas kanade
- natural language
- error estimates