Publications

6777 results for AI

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
An On-Line Edge-Deletion Problem
- - Shimon Even
  - Yossi Shiloach
- 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
A Conceptual schema for Knowledge-Based Systems
- - John F. Sowa
- 1980
- SIGMOD Record
A Conceptual Schema for Knowledge-Based Systems
- - John F. Sowa
- 1980
- ACM SIGPLAN Notices
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
The Cycle Time Distribution of Exponential Cyclic Queues
- - We-Min Chow
- 1980
- Journal of the ACM