Publications

7992 results for AI

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
The Cycle Time Distribution of Exponential Cyclic Queues
- - We-Min Chow
- 1980
- Journal of the ACM
GO Is Polynomial-Space Hard
- - David Lichtenstein
  - Michael Sipser
- 1980
- Journal of the ACM
Mean-Value Analysis of Closed Multichain Queuing Networks
- - M. Reiser
  - S.S. Lavenberg
- 1980
- Journal of the ACM
A Scheme for the Automatic Inference of Variable Types
- - Marc A. Kaplan
  - Jeffrey D. Ullman
- 1980
- Journal of the ACM
External Hashing Schemes for Collections of Data Structures
- - Richard J. Lipton
  - Arnold L. Rosenberg
  - et al.
- 1980
- Journal of the ACM
Encoding Data Structures in Trees
- - Arnold L. Rosenberg
- 1979
- Journal of the ACM
Search within a Page
- - H.R. Strong
  - G. Markowsky
  - et al.
- 1979
- Journal of the ACM
Data Flow Analysis for Procedural Languages
- - Barry K. Rosen
- 1979
- Journal of the ACM