Sciweavers

359 search results - page 1 / 72
» A Formal Model of the Process of Wayfinding in Built Environ...
Sort
View
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
13 years 8 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys
COMPSAC
2003
IEEE
13 years 9 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
AH
2004
Springer
13 years 10 months ago
Swarm-Based Adaptation: Wayfinding Support for Lifelong Learners
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
Colin Tattersall, Bert van den Berg, René v...
SPATIALCOGNITION
2004
Springer
13 years 9 months ago
A Model for Context-Specific Route Directions
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...
Kai-Florian Richter, Alexander Klippel
ATAL
2008
Springer
13 years 6 months ago
Towards a Formalisation of Electronic Contracting Environments
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
Nir Oren, Sofia Panagiotidi, Javier Vázquez...