Publications

8045 results for AI

What holds in a context?
- - F. Corella
- 1993
- Journal of Automated Reasoning
2x2 propagation matrix for electromagnetic waves propagating obliquely in layered inhomogeneous uniaxial media
- - Hiap Liew Ong
- 1993
- Journal of the Optical Society of America A: Optics and Image Science, and Vision
Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- - Adrian Walker
- 1993
- Journal of Automated Reasoning
Complexity and Algorithms for Reasoning About Time: A Graph-Theoretic Approach
- - Martin Charles Golumbic
  - Ron Shamir
- 1993
- Journal of the ACM (JACM)
Knowledge, Probability, and Adversaries
- - Joseph Y. Halpern
  - Mark R. Tuttle
- 1993
- Journal of the ACM (JACM)
On the Analytical Modeling of Database Concurrency Control
- - Philip S. Yu
  - Daniel M. Dias
  - et al.
- 1993
- Journal of the ACM (JACM)
Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Periodic Graphs
- - Edith Cohen
  - Nimrod Megiddo
- 1993
- Journal of the ACM (JACM)
Random Walks on Weighted Graphs and Applications to on-line Algorithms
- - Don Coppersmith
  - Peter Doyle
  - et al.
- 1993
- Journal of the ACM (JACM)
Randomized Algorithms and Pseudorandom Numbers
- - Howard J. Karloff
  - Prabhakar Raghavan
- 1993
- Journal of the ACM (JACM)
A Performance Evaluation of Several Priority Policies for Parallel Processing Systems
- - Randolph Nelson
  - Donald Towsley
- 1993
- Journal of the ACM (JACM)