On Fourier's algorithm for linear arithmetic constraints
- Jean-Louis Lassez
- Michael J. Maher
- 1992
- Journal of Automated Reasoning
Publications
8149 results for AI
Dynamic control of robot perception using multi-property inference grids
- Alberto Elfes
- 1992
- ICRA 1992
Fuzzy methods for classification in diagnostic systems
- Martin C. Sturzenbecker
- Debra M. Parisi
- 1992
- FUZZ-IEEE 1992
Tools for supporting the collaborative process
- James R. Rhyne
- Catherine G. Wolf
- 1992
- UIST 1992
SSS: A hybrid architecture applied to robot navigation
- Jonathan Connell
- 1992
- ICRA 1992
Algorithms for a fast confocal optical inspection system
- A.Ravishankar Rao
- N. Ramesh
- et al.
- 1992
- WACV 1992
A new decision-tree classification algorithm for machine learning
- P.-L. Tu
- J.-Y. Chung
- 1992
- ICTAI 1992
A telerobotic system for augmentation of endoscopic surgery
- Russeii H. Taylor
- Janez Funda
- et al.
- 1992
- EMBC 1992
Computer aided planning and execution of craniofacial surgical procedures
- Court Cutting
- Russell Taylor
- et al.
- 1992
- EMBC 1992
Object-oriented, dataflow visualization systems - A paradigm shift?
- William Ribarsky
- Bob Brown
- et al.
- 1992
- VIS 1992