Publications

6777 results for AI

On the Average Number of Maxima in a Set of Vectors and Applications
- - J.L. Bentley
  - H.T. Kung
  - et al.
- 1978
- Journal of the ACM
Path Calculus in Program Verification
- - Daniel Brand
- 1978
- Journal of the ACM
Some Matching Problems for Bipartite Graphs
- - Steven L. Tanimoto
  - Alon Itai
  - et al.
- 1978
- Journal of the ACM
Regenerative Simulation of Response Times in Networks of Queues
- - Donald L. Iglehart
  - Gerald S. Shedler
- 1978
- Journal of the ACM
Dynamic Placement of Records in Linear Storage
- - A.C. McKellar
  - C.K. Wong
- 1978
- Journal of the ACM
A Time-Space Trade-Off
- - Nicholas Pippenger
- 1978
- Journal of the ACM
Big Buckets Are (Are Not) Better!
- - Ian F. Blake
  - Alan G. Konheim
- 1977
- Journal of the ACM
On Live-Dead Analysis for Global Data Flow Problems
- - Lawrence T. Kou
- 1977
- Journal of the ACM
Hashing Schemes for Extendible Arrays
- - Arnold L. Rosenberg
  - Larry J. Stockmeyer
- 1977
- Journal of the ACM
A Methodology for LISP Program Construction from Examples
- - Phillip D. Summers
- 1977
- Journal of the ACM