Publications

8076 results for AI

Model-based invariants for 3-D vision
- - Daphna Weinshall
- 1993
- IJCV
What holds in a context?
- - F. Corella
- 1993
- Journal of Automated Reasoning
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
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
Complexity and Algorithms for Reasoning About Time: A Graph-Theoretic Approach
- - Martin Charles Golumbic
  - Ron Shamir
- 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)
On the Analytical Modeling of Database Concurrency Control
- - Philip S. Yu
  - Daniel M. Dias
  - et al.
- 1993
- Journal of the ACM (JACM)
Knowledge, Probability, and Adversaries
- - Joseph Y. Halpern
  - Mark R. Tuttle
- 1993
- Journal of the ACM (JACM)
Randomized Algorithms and Pseudorandom Numbers
- - Howard J. Karloff
  - Prabhakar Raghavan
- 1993
- Journal of the ACM (JACM)
Undecidable Optimization Problems for Database Logic Programs
- - Haim Gaifman
  - Harry Mairson
  - et al.
- 1993
- Journal of the ACM (JACM)