312 search results - page 40 / 63 » A Dynamic Programming Approach for Appearance-Based Recognit... |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
SOSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
UM
2001
Springer
13 years 11 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
UM
2005
Springer
14 years 26 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...