Sharing Memory Robustly in Message-Passing Systems
- Hagit Attiya
- Amotz Bar-Noy
- et al.
- 1995
- Journal of the ACM (JACM)
Paper
Publications
8689 results for AI
Recent advances in the automatic inspection of integrated circuits for pattern defects
- Byron E. Dom
- Virginia Brecher
- 1995
- Machine Vision and Applications
PaperAutomatic generation of general quadratic map basins
- Julien C. Sprott
- Clifford A. Pickover
- 1995
- Computers and Graphics
PaperMidwinters, end games, and body parts: A classification of part-whole relations
- Peter Gerstl
- Simone Pribbenow
- 1995
- International Journal of Human - Computer Studies
PaperLevesque's axiomatization of only knowing is incomplete
- Joseph Y. Halpern
- Gerhard Lakemeyer
- 1995
- Artificial Intelligence
PaperSyntax and lexical statistics in anaphora resolution
- Ido Dagan
- John Justeson
- et al.
- 1995
- Applied Artificial Intelligence
PaperM-Buffer: A flexible misd architecture for advanced graphics
- Bengt-Olaf Schneider
- Jarek Rossignac
- 1995
- Computers and Graphics
PaperThe loom of creation
- Clifford A. Pickover
- 1995
- Computers and Graphics
PaperMultiple multimodal mentors: Delivering computer-based instruction via specialized anthropomorphic advisors
- Sherman R. Alpert
- Mark K. Singley
- et al.
- 1995
- Behaviour and Information Technology
PaperThe 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
Paper