787 search results - page 65 / 158 » Fully procedural graphics |
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— It is well-known that the Kalman filter for simultaneous localization and mapping (SLAM) converges to a fully correlated map in the limit of infinite time and data [1]. Howev...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ISIPTA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper reviews recent results obtained in the medical diagnosis field by adding to a coherent inference process qualitative constraints. Such further considerations turn out ...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...