On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Categories, types, and structures: an introduction to category theory for the working computer scientist
Computers & Geosciences - Special issue on GIS design models
Algebra of programming
Specification of abstract data types
Specification of abstract data types
Robot Vision
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Suitability Maps Based on the LSP Method
MDAI '08 Sabadell Proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence
Geometrically Enhanced Conceptual Modelling
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Map algebraic characterization of self-adapting neighborhoods
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Transforming geometrically enhanced conceptual model schemas to GML
Conceptual Modelling and Its Theoretical Foundations
Defining spatio-temporal granularities for raster data
BNCOD'10 Proceedings of the 27th British national conference on Data Security and Security Data
Hi-index | 0.00 |
This paper shows how to extend and generalize Tomlin's Map Algebra to apply uniformly for spatial, temporal, and spatio-temporal data. A specific data layer can be seen as a function from location to a value (Goodchild's geographic reality). Map layer but also time series and other similar constructions are functors, mapping local operations to layers, time series, etc. Tomlin's Focal Operations are mostly convolutions and the zonal operations are summaries for zones. The mathematical framework explained justifies polymorphic overloading of operation names like + are made to work for layers, time series, etc. There is also a uniform method to apply user-defined local functions to them. The result is a consistent extension of Map Algebra with a simplified user interface. The implementation covers raster operations and demonstrates the generality of the concept.