Publications

7983 results for AI

Toward Abstract Numerical Analysis
- - Webb Miller
- 1973
- Journal of the ACM
Canonical Precedence Schemes
- - James N. Gray
  - Michael A. Harrison
- 1973
- Journal of the ACM
A Formalization of Transition Diagram Systems
- - David Bruce Lomet
- 1973
- Journal of the ACM
Upper Bounds for the Total Path Length of Binary Trees
- - J. Nievergelt
  - C.K. Wong
- 1973
- Journal of the ACM
Program equivalence and context-free grammars
- - Barry K. Rosen
- 1972
- SWAT 1972
On homomorphisms, simulations,correctness and subroutines for programs and program schemes
- - J.A. Goguen
- 1972
- SWAT 1972
Real-Time Simulation of Multihead Tape Units
- - Patrick C. Fischer
  - Albert R. Meyer
  - et al.
- 1972
- Journal of the ACM
Bounds on Optimal Merge Performance, and a Strategy for Optimality
- - W.D. Frazer
  - B.T. Bennett
- 1972
- Journal of the ACM
A Minimum Variance Sampling Technique for Simulation Models
- - A.J. Bayes
- 1972
- Journal of the ACM
SCRATCHPAD: A capsule view
- - James H. Griesmer
  - Richard D. Jenks
- 1972
- Symposium on Two-Dimensional Man-Machine Communication 1972