Publications

6793 results for AI

Analysis of Database Performance with Dynamic Locking
- - In Kyung Ryu
  - Alexander Thomasian
- 1990
- Journal of the ACM
Renaming in an Asynchronous Environment
- - Hagit Attiya
  - Amotz Bar-Noy
  - et al.
- 1990
- Journal of the ACM
Minimal and Complete Word Unification
- - Joxan Jaffar
- 1990
- Journal of the ACM
Completeness of Rewrite Rules and Rewrite Strategies for FP
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1990
- Journal of the ACM
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1990
- Journal of the ACM
Issues on feature-based editing and interrogation of solid models
- - Jaroslaw R. Rossignac
- 1990
- Computers and Graphics
Reply
- - A. Hartstein
  - R.H. Koch
- 1990
- Neural Networks
The State of the Art in On-Line Handwriting Recognition
- - Charles C. Tappert
  - Ching Y. Suen
  - et al.
- 1990
- IEEE Transactions on Pattern Analysis and Machine Intelligence
An analysis of first-order logics of probability
- - Joseph Y. Halpern
- 1990
- Artificial Intelligence
Using a touchscreen for simple tasks
- - John D. Gould
  - Sharon L. Greene
  - et al.
- 1990
- Interacting with Computers