1011 search results - page 11 / 203 » The three dimensions of proofs |
ICRA
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a new globally convergent rangesensor based navigation algorithm in three-dimensions, called 3DBug. The 3DBug algorithm navigates a point robot in a three-dime...
COMPGEOM
1998
ACM
15 years 2 months ago
1998
ACM
We present a new technique for constructing a data-structure that approximates shortest path maps in IRd . By applying this technique, we get the following two results on approxim...
GD
1998
Springer
15 years 2 months ago
1998
Springer
GD
1998
Springer
15 years 2 months ago
1998
Springer
IUI
1997
ACM
15 years 1 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...