nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A geometric approach to error detection and recovery for robot motion planning with uncertainty
|
Donald, Bruce R. |
|
1988 |
37 |
1-3 |
p. 223-271 49 p. |
artikel |
2 |
A multi-level geometric reasoning system for vision
|
Barry, Michele |
|
1988 |
37 |
1-3 |
p. 291-332 42 p. |
artikel |
3 |
An algorithmic approach to some problems in terrain navigation
|
Mitchell, Joseph S.B. |
|
1988 |
37 |
1-3 |
p. 171-201 31 p. |
artikel |
4 |
A refutational approach to geometry theorem proving
|
Kapur, Deepak |
|
1988 |
37 |
1-3 |
p. 61-93 33 p. |
artikel |
5 |
A survey of motion planning and related geometric algorithms
|
Schwartz, J.T. |
|
1988 |
37 |
1-3 |
p. 157-169 13 p. |
artikel |
6 |
Author index
|
|
|
1988 |
37 |
1-3 |
p. vi- 1 p. |
artikel |
7 |
Constructing roadmaps of semi-algebraic sets I: Completeness
|
Canny, John |
|
1988 |
37 |
1-3 |
p. 203-222 20 p. |
artikel |
8 |
Editorial Board
|
|
|
1988 |
37 |
1-3 |
p. IFC- 1 p. |
artikel |
9 |
Geometric reasoning and artificial intelligence: Introduction to the special volume
|
Kapur, Deepak |
|
1988 |
37 |
1-3 |
p. 1-11 11 p. |
artikel |
10 |
Geometric reasoning for constructing 3D scene descriptions from images
|
Walker, Ellen Lowenfeld |
|
1988 |
37 |
1-3 |
p. 275-290 16 p. |
artikel |
11 |
Geometric reasoning with logic and algebra
|
Arnon, Dennis S. |
|
1988 |
37 |
1-3 |
p. 37-60 24 p. |
artikel |
12 |
Geometric relationships between toleranced features
|
Fleming, Alan |
|
1988 |
37 |
1-3 |
p. 403-412 10 p. |
artikel |
13 |
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle
|
Ko, Hai-Ping |
|
1988 |
37 |
1-3 |
p. 95-122 28 p. |
artikel |
14 |
Modular algebraic specification of some basic geometrical constructions
|
Goguen, Joseph A. |
|
1988 |
37 |
1-3 |
p. 123-153 31 p. |
artikel |
15 |
On the geometric interpretation of image contours
|
Horaud, Radu |
|
1988 |
37 |
1-3 |
p. 333-353 21 p. |
artikel |
16 |
The geometry of projective blending surfaces
|
Hoffmann, Christoph |
|
1988 |
37 |
1-3 |
p. 357-376 20 p. |
artikel |
17 |
Verifiable implementations of geometric algorithms using finite precision arithmetic
|
Milenkovic, Victor J. |
|
1988 |
37 |
1-3 |
p. 377-401 25 p. |
artikel |
18 |
Wu's method and its application to perspective viewing
|
Kapur, Deepak |
|
1988 |
37 |
1-3 |
p. 15-36 22 p. |
artikel |