On Fourier's algorithm for linear arithmetic constraints
- Jean-Louis Lassez
- Michael J. Maher
- 1992
- Journal of Automated Reasoning
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
7481 results for AI
Criticizing solutions to relaxed models yields powerful admissible heuristics
- Othar Hansson
- Andrew Mayer
- et al.
- 1992
- Information Sciences
On the aesthetics of inversion and osculation
- Clifford A. Pickover
- 1992
- Visual Computer
Intelligent forms processing system
- Richard Casey
- David Ferguson
- et al.
- 1992
- Machine Vision and Applications
Cleopatra's necklace and the aesthetics of osculatory growth
- Clifford A. Pickover
- 1992
- Visual Computer
Images of the rose
- Jakub Wejchert
- 1992
- Visual Computer
High-probabilities, model-preference and default arguments
- Hector Geffner
- 1992
- Minds and Machines
Address tracing of parallel systems via TRAPEDS
- Craig B Stunkel
- Bob Janssens
- et al.
- 1992
- Microprocessors and Microsystems
Animated demonstrations for exploratory learners
- Stephen J. Payne
- Louise Chesworth
- et al.
- 1992
- Interacting with Computers
Image reconstruction on a special purpose array processor
- O.G. Koufopavlou
- C.E. Goutis
- 1992
- Image and Vision Computing