Publications

7939 results for AI

A Methodology for LISP Program Construction from Examples
- - Phillip D. Summers
- 1977
- Journal of the ACM
Initial Algebra Semantics and Continuous Algebras
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1977
- Journal of the ACM
Properties and convergence of a posteriori probabilities in classification problems
- - Moshe Ben-Bassat
  - Shmuel Gal
- 1977
- Pattern Recognition
Graphic and relational data base support for problem solving
- - Dan Weller
  - Robin Williams
- 1976
- SIGGRAPH 1976
Enhanced graphics performance with user controlled segment files
- - W.D. Little
  - R. Williams
- 1976
- SIGGRAPH 1976
Resolution Strategies as Decision Procedures
- - William H. Joyner
- 1976
- Journal of the ACM
Shifting Graphs and Their Applications
- - Nicholas Pippenger
  - Leslie G. Valiant
- 1976
- Journal of the ACM
An Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys
- - William H. Burge
- 1976
- Journal of the ACM
A Queueing Model with Finite Waiting Room and Blocking
- - Alan G. Konheim
  - Martin Reiser
- 1976
- Journal of the ACM
A Fast and Usually Linear Algorithm for Global Flow Analysis
- - Susan L. Graham
  - Mark Wegman
- 1976
- Journal of the ACM