Publications

8029 results for AI

Sharing Memory Robustly in Message-Passing Systems
- - Hagit Attiya
  - Amotz Bar-Noy
  - et al.
- 1995
- Journal of the ACM (JACM)
Efficient Color Histogram Indexing for Quadratic Form Distance Functions
- - Will Equitz
  - Harpreet S. Sawhney
  - et al.
- 1995
- IEEE Transactions on Pattern Analysis and Machine Intelligence
A nonstandard approach to the logical omniscience problem
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1995
- Artificial Intelligence
Automatic Isosurface Propagation Using an Extrema Graph and Sorted Boundary Cell Lists
- - Takayuki Itoh
  - Koji Koyamada
- 1995
- IEEE TVCG
Multiple multimodal mentors: Delivering computer-based instruction via specialized anthropomorphic advisors
- - Sherman R. Alpert
  - Mark K. Singley
  - et al.
- 1995
- Behaviour and Information Technology
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- - Joseph Y. Halpern
- 1995
- Artificial Intelligence
The loom of creation
- - Clifford A. Pickover
- 1995
- Computers and Graphics
Using perceptual inference networks to manage vision processes
- - Sudeep Sarkar
  - Kim L. Boyer
- 1995
- Computer Vision and Image Understanding
Exploiting Triangulated Surface Extraction Using Tetrahedral Decomposition
- - André Guéziec
  - Robert Hummel
- 1995
- IEEE TVCG
On Seeing Spaghetti: Self-Adjusting Piecewise Toroidal Recognition of Flexible Extruded Objects
- - John R. Kender
  - Rick Kjeldsen
- 1995
- IEEE Transactions on Pattern Analysis and Machine Intelligence