89222 search results - page 44 / 17845 » Which |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Perceptual aliasing makes topological navigation a difficult task. In this paper we present a general approach for topological SLAM (simultaneous localisation and mapping) whi...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— In mobile manipulation, the position to which the robot navigates has a large influence on the ease with which a subsequent manipulation action can be performed. Whether a man...
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
Music transcription refers to extraction of a human readable and interpretable description from a recording of a music performance. Automatic music transcription remains, nowadays...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...