Publications

8110 results for AI

Renaming in an Asynchronous Environment
- - Hagit Attiya
  - Amotz Bar-Noy
  - 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
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
Minimal and Complete Word Unification
- - Joxan Jaffar
- 1990
- Journal of the ACM
DCT coding for motion video storage using adaptive arithmetic coding
- - C.A. Gonzales
  - Lascoe A. Allman
  - et al.
- 1990
- Signal Processing: Image Communication
Embedding meshes in Boolean cubes by graph decomposition
- - Ching-Tien Ho
  - S.Lennart Johnsson
- 1990
- Journal of Parallel and Distributed Computing
Qualitative physics using dimensional analysis
- - R. Bhaskar
  - Anil Nigam
- 1990
- Artificial Intelligence
An analysis of first-order logics of probability
- - Joseph Y. Halpern
- 1990
- Artificial Intelligence
Analog I/O nets for syllable timing
- - W.N. Campbell
- 1990
- Speech Communication