2827 search results - page 65 / 566 » CCured in the real world |
UAIS
2002
13 years 9 months ago
2002
Integrating computer-based information into the real world of the user, is becoming a crucial challenge for the designers of interactive systems. The Augmented Reality (AR) paradig...
PERCOM
2004
ACM
14 years 9 months ago
2004
ACM
Context-aware computing systems demand an accurate and up-to-date world model which computationally represents the environment they oversee. Systems to date tend to have small-sca...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
WCRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
CORR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...