Sciweavers

3384 search results - page 406 / 677
» More Testable Properties
Sort
View
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
16 years 1 months ago
An Algebraic Approach to Image Schemas for Geographic Space
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,...
Lisa Walton, Michael F. Worboys
COSIT
2009
Springer
159views GIS» more  COSIT 2009»
16 years 1 months ago
Adaptable Path Planning in Regionalized Environments
Human path planning relies on several more aspects than only geometric distance between two locations. These additional aspects mostly relate to the complexity of the traveled path...
Kai-Florian Richter
DAGM
2009
Springer
16 years 1 months ago
Optimal Parameter Estimation with Homogeneous Entities and Arbitrary Constraints
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
Jochen Meidow, Wolfgang Förstner, Christian B...
EUROSSC
2009
Springer
16 years 1 months ago
Automatic Event-Based Synchronization of Multimodal Data Streams from Wearable and Ambient Sensors
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
David Bannach, Oliver Amft, Paul Lukowicz
GECCO
2009
Springer
123views Optimization» more  GECCO 2009»
16 years 1 months ago
Alternative voting systems in stock car racing
The National Association for Stock Car Auto Racing (NASCAR) is currently the No. 1 spectator sport in the United States. However, the manner in which drivers are ranked to determi...
Aaron Garrett, Daniel Eric Smith