647 search results - page 32 / 130 » Implementation of MAP: A system for mobile assistant program... |
149
click to vote
CSREAPSC
2006
15 years 7 months ago
2006
- The use of a PDA with ad-hoc built-in information retrieval functionalities can help people in visiting an historical site in a natural manner instead of traditional audio/visual...
163
click to vote
ICRA
2007
IEEE
16 years 8 days ago
2007
IEEE
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...
147
click to vote
ISLPED
2004
ACM
15 years 11 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
151
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
154
click to vote
SIGMETRICS
1992
ACM
15 years 10 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...