99 search results - page 10 / 20 » Bridging the gap between feature- and grid-based SLAM |
105
click to vote
ICDAR
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite all the attempts of modern information technology to supplant paper by sophisticated electronic devices, paper is still omnipresent in virtually any office environment. W...
RSP
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
EUROCRYPT
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
110
click to vote
C3S2E
2008
ACM
14 years 10 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...