A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
Publications
8203 results for AI
Integrating working and learning: Two models of computer support
- Tamara Sumner
- Markus Stolze
- 1996
- AI and Society
Is there any texture in the image?
- Kalle Karu
- Anil K. Jain
- et al.
- 1996
- Pattern Recognition
Future directions in industrial machine vision: A case study of semiconductor manufacturing applications
- A. Ravishankar Rao
- 1996
- Image and Vision Computing
Unreliable failure detectors for reliable distributed systems
- Tushar Deepak Chandra
- Sam Toueg
- 1996
- Journal of the ACM
The benefits of relaxing punctuality
- Rajeev Alur
- Tomás Feder
- et al.
- 1996
- Journal of the ACM
Reflectance based object recognition
- Shree K. Nayar
- Ruud M. Bolle
- 1996
- IJCV
A practical method for creating plant diagnostics applications
- Gabor Karsai
- Samir Padalkar
- et al.
- 1996
- Integrated Computer-Aided Engineering
Virtual spaces and real world places: Transfer of route knowledge
- Bob G. Witmer
- John H. Bailey
- et al.
- 1996
- Int. J. Hum. Comput. Stud.
A visit to the Dresden Frauenkirche
- Reza Jalili
- Peter D. Kirchner
- et al.
- 1996
- Presence: Teleoperators and Virtual Environments