Sciweavers

5101 search results - page 312 / 1021
» Capturing Context Requirements
Sort
View
PERVASIVE
2009
Springer
16 years 1 months ago
Landmark-Based Pedestrian Navigation with Enhanced Spatial Reasoning
Computer vision techniques can enhance landmark-based navigation by better utilizing online photo collections. We use spatial reasoning to compute camera poses, which are then regi...
Harlan Hile, Radek Grzeszczuk, Alan L. Liu, Ramakr...
VMCAI
2009
Springer
16 years 1 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
ICASSP
2009
IEEE
16 years 1 months ago
Design of a morphological moving object signature and application to human identification
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...
Olivier Barnich, Marc Van Droogenbroeck
TIME
2009
IEEE
16 years 1 months ago
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
Luke Hunsberger
IROS
2009
IEEE
146views Robotics» more  IROS 2009»
16 years 1 months ago
Robust constraint-consistent learning
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
Matthew Howard, Stefan Klanke, Michael Gienger, Ch...