Internalization and the Use Specificity of Device Knowledge
- Peter A. Bibby
- Stephen J. Payne
- 1993
- Human—Computer Interaction
Publications
8149 results for AI
New kth-shortest path algorithm
- H. Maruyama
- 1993
- IEICE Transactions on Information and Systems
Lava lamps in the 21st century
- Clifford A. Pickover
- 1993
- The Visual Computer
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
What holds in a context?
- F. Corella
- 1993
- Journal of Automated Reasoning
Model-based invariants for 3-D vision
- Daphna Weinshall
- 1993
- IJCV
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)
Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Periodic Graphs
- Edith Cohen
- Nimrod Megiddo
- 1993
- Journal of the ACM (JACM)