A Spatial Extension to the pi Calculus.
Mathias JohnRoland EwaldAdelinde M. UhrmacherPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- spatio temporal
- spatial information
- spatial data
- spatial temporal
- qualitative spatial reasoning
- case study
- genetic algorithm
- linear time temporal logic
- neural network
- qualitative spatial
- spatial arrangement
- spatial patterns
- spatial correlation
- spatial objects
- space time
- relational databases
- information systems
- search engine
- data mining