328 search results - page 45 / 66 » Adding Aspects of |
ISRR
2001
Springer
13 years 12 months ago
2001
Springer
We discuss the role of spatial representations and visual geometries in vision-based navigation. To a large extent, these choices determine the complexity and robustness of a given...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
DOLAP
1999
ACM
13 years 12 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
This paper briefly describes the design principles of the hardware and software of 5dpo-2000 team. An evolutive approach is presented as the robots are constantly being improved wi...