Some computer science issues in ubiquitous computing
Communications of the ACM - Special issue on computer augmented environments: back to the real world
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Spatial Cognition and Computation
Relation algebras over containers and surfaces: An ontological study of a room space
Spatial Cognition and Computation
Structuring Space with Image Schemata: Wayfinding in Airports as a Case Study
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Typed polyadic pi-calculus in bigraphs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Spatio-temporal evolution as bigraph dynamics
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Reasoning about RFID-tracked moving objects in symbolic indoor spaces
Proceedings of the 25th International Conference on Scientific and Statistical Database Management
HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction for health, safety, mobility and complex environments - Volume Part II
Hi-index | 0.00 |
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas, used to embody spatiotemporal experiential abstractions, capture high-level perceptual concepts but do not have generally accepted formalizations. This paper provides a method for formally representing topological and physical image schemas using Milner's bigraphical models. Bigraphs, capable of independently representing mobile locality and connectivity, provide formal algebraic specifications of geographic environments enhanced by intuitive visual representations. Using examples from a built environment, we define topological schemas CONTAINER and LINK as static bigraph components, dynamic schemas INTO and LINKTO as rule-based changes in static components, and more complex schemas REMOVAL_OF_RESTRAINT and BLOCKAGE with sequences of rules. Finally, we demonstrate that bigraphs can be used to describe scenes with incomplete information, and that we can adjust the granularity of scenes by using bigraph composition to provide additional context.