787 search results - page 65 / 158 » Fully procedural graphics |
136
Voted
ICLP
2007
Springer
15 years 11 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...
124
click to vote
ICRA
2005
IEEE
15 years 10 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...
170
click to vote
FMCO
2005
Springer
15 years 10 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...
112
click to vote
ISIPTA
2003
IEEE
15 years 10 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 ...
144
click to vote
ICRA
2002
IEEE
15 years 10 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...