Publications

7939 results for AI

Learning to use a text processing system: Evidence from "thinking aloud" protocols
- - Clayton Lewis
  - Robert Mack
- 1982
- CHI 1982
Texture recognition via autoregression
- - Peter de Souza
- 1982
- Pattern Recognition
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- - Yehoshua Sagiv
  - Claude Delobel
  - et al.
- 1981
- Journal of the ACM
An On-Line Edge-Deletion Problem
- - Shimon Even
  - Yossi Shiloach
- 1981
- Journal of the ACM
Electrochromic and electrochemichromic displays
- - I.F. Chang
- 1981
- Displays
Linear Algorithm for Data Compression via String Matching
- - Michael Rodeh
  - Vaughan R. Pratt
  - et al.
- 1981
- Journal of the ACM
Alternation
- - Ashok K. Chandra
  - Dexter C. Kozen
  - et al.
- 1981
- Journal of the ACM
Project EPISTLE: A system for the Automatic Analysis of Business Correspondence
- - Lance A. Miller
- 1980
- AAAI 1980
A Polynomial Solution to the Undirected Two Paths Problem
- - Yossi Shiloach
- 1980
- Journal of the ACM
Mean-Value Analysis of Closed Multichain Queuing Networks
- - M. Reiser
  - S.S. Lavenberg
- 1980
- Journal of the ACM