A Scheme for the Automatic Inference of Variable Types
- Marc A. Kaplan
- Jeffrey D. Ullman
- 1980
- Journal of the ACM
Publications
6777 results for AI
External Hashing Schemes for Collections of Data Structures
- Richard J. Lipton
- Arnold L. Rosenberg
- et al.
- 1980
- Journal of the ACM
Encoding Data Structures in Trees
- Arnold L. Rosenberg
- 1979
- Journal of the ACM
Search within a Page
- H.R. Strong
- G. Markowsky
- et al.
- 1979
- Journal of the ACM
Relations Among Complexity Measures
- Nicholas Pippenger
- Michael J. Fischer
- 1979
- Journal of the ACM
Data Flow Analysis for Procedural Languages
- Barry K. Rosen
- 1979
- Journal of the ACM
The psychological study of design
- John C. Thomas
- John M. Carroll
- 1979
- Design Studies
Using rewriting rules for connection graphs to prove theorems
- C.L. Chang
- J.R. Slagle
- 1979
- Artificial Intelligence
A class of robust edge detectors based on latin squares
- Ivan Kadar
- Ludwik Kurz
- 1979
- Pattern Recognition
Nickel and nitrogen ion irradiation induced void swelling and defect microstructures in Ni-Al, Ni-Cr and Ni-Ti solid solutions
- R.F. Pinizzotto
- L.J. Chen
- et al.
- 1978
- Metallurgical Transactions A