Publications

8045 results for AI

A View Matcher for learning Smalltalk
- - John M. Carroll
  - Janice A. Singer
  - et al.
- 1990
- CHI 1990
Infinite detail and emulation in an ontologically minimized HCI
- - John M. Carroll
- 1990
- CHI 1990
Design for interactive performance in a virtual laboratory
- - Chu P. Wang
  - Lawrence Koved
  - et al.
- 1990
- I3D 1990
Early Stopping in Byzantine Agreement
- - Danny Dolev
  - Ruediger Reischuk
  - et al.
- 1990
- Journal of the ACM
Knowledge and Common Knowledge in a Distributed Environment
- - Joseph Y. Halpern
  - Yoram Moses
- 1990
- Journal of the ACM
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
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 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