Publications

8083 results for AI

A Procedure for Detecting Intersections of Three-Dimensional Objects
- - Paul G. Comba
- 1968
- Journal of the ACM
A Mathematical Model for the Analysis of Contour-Line Data
- - Stephen P. Morse
- 1968
- Journal of the ACM
On the structure of programming languages, or, six languages for turing machines
- - Eric G. Wagner
- 1967
- SWAT 1967
Parallel program schemata: A mathematical model for parallel computation
- - Richard M. Karp
  - Raymond E. Miller
- 1967
- SWAT 1967
Real time counter mchines preliminary version
- - Patrick C. Fischer
  - Albert R. Meyer
  - et al.
- 1967
- SWAT 1967
Turing machines with several read-write heads preliminary report
- - Albert R. Meyer
  - Arnold L. Rosenberg
  - et al.
- 1967
- SWAT 1967
On the Time Required to Perform Multiplication
- - S. Winograd
- 1967
- Journal of the ACM
Real-Time Definable Languages
- - Arnold.L. Rosenberg
- 1967
- Journal of the ACM
The Organization of Computations for Uniform Recurrence Equations
- - Richard M. Karp
  - Raymond E. Miller
  - et al.
- 1967
- Journal of the ACM
Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines
- - Richard M. Karp
- 1967
- Journal of the ACM