Sciweavers

26 search results - page 2 / 6
» On the Cognitive Effectiveness of Routing Symbols in Process...
Sort
View
GISCIENCE
2010
Springer
192views GIS» more  GISCIENCE 2010»
13 years 6 months ago
Automatic Extraction of Destinations, Origins and Route Parts from Human Generated Route Directions
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
Xiao Zhang, Prasenjit Mitra, Alexander Klippel, Al...
COSIT
2005
Springer
131views GIS» more  COSIT 2005»
13 years 10 months ago
Structural Salience of Landmarks for Route Directions
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
Alexander Klippel, Stephan Winter
COSIT
1997
Springer
114views GIS» more  COSIT 1997»
13 years 9 months ago
Feature Accumulation and Route Structuring in Distance Estimations - An Interdisciplinary Approach
It is well-known that route distance estimates are influenced by the structure of the route. In particular, the number of features along the route (e.g. landmarks) and the structu...
Bettina Berendt, Petra Jansen-Osmann
BICA
2010
12 years 12 months ago
Validating a High Level Behavioral Representation Language (HERBAL): A Docking Study for ACT-R
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
Changkun Zhao, Jaehyon Paik, Jonathan H. Morgan, F...
RTCSA
1999
IEEE
13 years 9 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer