Artificial Intelligence （AI） - Volume 37, Issues 1–3 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 37, Issues 1–3 |
| 发布时间： December 1988 |
| 卷期年份： 1988 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/37/issue/1 |
本期论文列表
Author index
Editorial Board
Geometric reasoning and artificial intelligence: Introduction to the special volume
Wu's method and its application to perspective viewing
Geometric reasoning with logic and algebra
A refutational approach to geometry theorem proving
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle
Modular algebraic specification of some basic geometrical constructions
A survey of motion planning and related geometric algorithms
An algorithmic approach to some problems in terrain navigation
Constructing roadmaps of semi-algebraic sets I: Completeness
A geometric approach to error detection and recovery for robot motion planning with uncertainty
Geometric reasoning for constructing 3D scene descriptions from images
A multi-level geometric reasoning system for vision
On the geometric interpretation of image contours
The geometry of projective blending surfaces
Verifiable implementations of geometric algorithms using finite precision arithmetic
Geometric relationships between toleranced features