| d | aim | user | name | title | dept | university | monthyear |
|---|
| 1966-09-01 | AIM-043 | | D. Raj. Reddy | An Approach to Computer Speech Recognition by Direct Analysis of the Speech Wave | Thesis: Ph.D. in Computer Science | Stanford | September 1966 |
| 1966-09-01 | AIM-046 | | S. Persson | Some Sequence Extrapolating Programs: a Study of Representation and Modeling in Inquiring Systems | Thesis: Ph.D. in Computer Science | Berkeley | September 1966 |
| 1966-12-01 | AIM-047 | | Bruce Buchanan | Logics of Scientific Discovery | Thesis: Ph.D. in Philosophy | Berkeley | December 1966 |
| 1967-03-01 | AIM-044 | | James Painter | Semantic Correctness of a Compiler for an Algol-like Language | Thesis: Ph.D. in Computer Science | Stanford | March 1967 |
| 1967-08-01 | AIM-056 | | William Wichman | Use of Optical Feedback in the Computer Control of an Arm | Thesis: Eng. in Electrical Engineering | Stanford | August 1967 |
| 1967-12-01 | AIM-058 | | Monte Callero | An Adaptive Command and Control System Utilizing Heuristic Learning Processes | Thesis: Ph.D. in Operations Research | Stanford | December 1967 |
| 1968-07-01 | AIM-060 | | Donald Kaplan | The Formal Theoretic Analysis of Strong Equivalence for Elemental Properties | Thesis: Ph.D. in Computer Science | Stanford | July 1968 |
| 1968-08-01 | AIM-065 | | Barbara Huberman | A Program to Play Chess End Games | Thesis: Ph.D. in Computer Science | Stanford | August 1968 |
| 1968-10-01 | AIM-072 | | Donald Pieper | The Kinematics of Manipulators under Computer Control | Thesis: Ph.D. in Mechanical Engineering | Stanford | October 1968 |
| 1968-12-01 | AIM-074 | | Donald Waterman | Machine Learning of Heuristics | Thesis: Ph.D. in Computer Science | Stanford | December 1968 |
| 1969-03-01 | AIM-083 | ROG_72 | Roger Schank | A Conceptual Dependency Representation for a Computer Oriented Semantics | Thesis: Ph.D. in Linguistics | Texas | March 1969 |
| 1969-03-01 | AIM-085 | | Pierre Vicens | Aspects of Speech Recognition by Computer | Thesis: Ph.D. in Computer Science | Stanford | March 1969 |
| 1969-06-01 | AIM-092 | VDS_72 | Victor D. Scheinman | Design of Computer Controlled Manipulator | Thesis: Eng. in Mechanical Engineering | Stanford | June 1969 |
| 1969-08-01 | AIM-096 | CCG_72 | Claude Cordell Green | The Application of Theorem Proving to Question-answering Systems | Thesis: Ph.D. in Electrical Engineering | Stanford | August 1969 |
| 1969-08-01 | AIM-098 | | James J. Horning | A Study of Grammatical Inference | Thesis: Ph.D. in Computer Science | Stanford | August 1969 |
| 1969-12-01 | AIM-106 | | Michael E. Kahn | The Near-minimum-time Control of Open-loop Articulated Kinematic Chains | Thesis: Ph.D. in Mechanical Engineering | Stanford | December 1969 |
| 1970-05-01 | AIM-121 | SOB_75 | Irwin Sobel | Camera Models and Machine Perception | Thesis: Ph.D. in Electrical Engineering | Stanford | May 1970 |
| 1970-07-01 | AIM-130 | | Michael D. Kelly | Visual Identification of People by Computer | Thesis: Ph.D. in Computer Science | Stanford | July 1970 |
| 1970-08-01 | AIM-132 | | Gilbert Falk | Computer Interpretation of Imperfect Line Data as a Three-dimensional Scene | Thesis: Ph.D. in Electrical Engineering | Stanford | August 1970 |
| 1970-09-01 | AIM-134 | JMT_72 | Jay Martin Tenenbaum | Accommodation in Computer Vision | Thesis: Ph.D. in Electrical Engineering | Stanford | September 1970 |
| 1971-05-01 | AIM-144 | PDQ_72 | Lynn H. Quam | Computer Comparison of Pictures | Thesis: Ph.D. in Computer Science | Stanford | May 1971 |
| 1971-08-01 | AIM-147 | | Robert E. Kling | Reasoning by Analogy with Applications to Heuristic Problem Solving: a Case Study | Thesis: Ph.D. in Computer Science | Stanford | August 1971 |
| 1971-08-01 | AIM-149 | | Rodney Albert Schmidt Jr. | A Study of the Real-time Control of a Computer-driven Vehicle | Thesis: Ph.D. in Electrical Engineering | Stanford | August 1971 |
| 1971-12-01 | AIM-155 | | Jonathan Leonard Ryder | Heuristic Analysis of Large Trees as Generated in the Game of Go | Thesis: Ph.D. in Computer Science | Stanford | December 1971 |
| 1972-04-01 | AIM-163 | | Jean M. Cadiou | Recursive Definitions of Partial Functions and their Computations | Thesis: Ph.D. in Computer Science | Stanford | April 1972 |
| 1972-05-01 | AIM-119 | | Joseph Becker | An Information-processing Model of Intermediate-Level Cognition | Thesis: Ph.D. in Computer Science | Stanford | May 1972 |
| 1972-08-01 | AIM-174 | RAM_79 | Francis Lockwood Morris | Correctness of Translations of Programming Languages -- an Algebraic Approach | Thesis: Ph.D. in Computer Science | Stanford | August 1972 |
| 1972-10-01 | AIM-173 | GJA_73 | Gerald Jacob Agin | Representation and Description of Curved Objects | Thesis: Ph.D. in Computer Science | Stanford | October 1972 |
| 1972-11-01 | AIM-177 | LOU_72 | Richard Paul | Modelling,Trajectory Calculation and Servoing of a Computer Controlled Arm | Thesis: Ph.D. in Computer Science | Stanford | November 1972 |
| 1972-11-01 | AIM-178 | | Aharon Gill | Visual Feedback and Related Problems in Computer Controlled Hand Eye Coordination | Thesis: Ph.D. in Electrical Engineering | Stanford | October 1972 |
| 1972-11-01 | AIM-180 | | Ruzena Bajcsy | Computer Identification of Textured Visiual Scenes | Thesis: Ph.D. in Computer Science | Stanford | October 1972 |
| 1973-03-01 | AIM-188 | AKC_72 | Ashok Chandra | On the Properties and Applications of Programming Schemas | Thesis: Ph.D. in Computer Science | Stanford | March 1973 |
| 1973-05-01 | AIM-201 | GG1972 | Gunnar Rutger Grape | Model Based (Intermediate Level) Computer Vision | Thesis: Ph.D. in Computer Science | Stanford | May 1973 |
| 1973-07-01 | AIM-209 | YY_72 | Yoram Yakimovsky | Scene Analysis Using a Semantic Base for Region Growing | Thesis: Ph.D. in Computer Science | Stanford | July 1973 |
| 1973-10-01 | AIM-218 | | Jean E. Vuillemin | Proof Techniques for Recursive Programs | Thesis: Ph.D. in Computer Science | Stanford | October 1973 |
| 1974-01-01 | AIM-247 | NMG_72 | Neil Goldman | Computer Generation of Natural Language From a Deep Conceptual Base | Thesis: Ph.D. in Computer Science | Stanford | January 1974 |
| 1974-05-01 | AIM-230 | DCS_72 | Daniel C. Swinehart | COPILOT: A Multiple Process Approach to Interactive Programming Systems | Thesis: Ph.D. in Computer Science | Stanford | May 1974 |
| 1974-05-01 | AIM-231 | JEG_72 | James Gips | Shape Grammars and their Uses | Thesis: Ph.D. in Computer Science | Stanford | May 1974 |
| 1974-06-01 | AIM-233 | | Charles J. Rieger III | Conceptual Memory: A Theory and Computer Program for Processing the Meaning Content of Natural Language Utterances | Thesis: Ph.D. in Computer Science | Stanford | June 1974 |
| 1974-06-01 | AIM-238 | | Christopher K. Riesbeck | Computational Understanding: Analysis of Sentences and Context | Thesis: Ph.D. in Computer Science | Stanford | June 1974 |
| 1974-07-01 | AIM-239 | MJH_72 | Marsha Jo Hannah | Computer Matching of Areas in Stereo Images | Thesis: Ph.D. in Computer Science | Stanford | July 1974 |
| 1974-08-01 | AIM-242 | JRL_72 | James R. Low | Automatic Coding: Choice of Data Structures | Thesis: Ph.D. in Computer Science | Stanford | August 1974 |
| 1974-08-01 | AIM-245 | JRB_72 | Jack Buchanan | A Study in Automatic Programming | Thesis: Ph.D. in Computer Science | Stanford | May 1974 |
| 1974-10-01 | AIM-249 | BGB_72 | Bruce Baumgart | Geometric Modeling for Computer Vision | Thesis: Ph.D. in Computer Science | Stanford | October 1974 |
| 1974-10-01 | AIM-250 | RKN_72 | Ramakant Nevatia | Structured Descriptions of Complex Curved Objects for Recognition and Visual Memory | Thesis: Ph.D. in Electrical Engineering | Stanford | October 1974 |
| 1974-10-01 | AIM-251 | SHO_74 | Edward H. Shortliffe | MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection | Thesis: Ph.D. in Medical Information Sciences | Stanford | October 1974 |
| 1975-01-01 | AIM-257 | MAL_72 | Malcolm C. Newey | Formal Semantics of LISP With Applications to Program Correctness | Thesis: Ph.D. in Computer Science | Stanford | January 1975 |
| 1975-05-01 | AIM-259 | HJS_72 | Hanan Samet | Automatically Proving the Correctness of Translations Involving Optimized Coded | Thesis: Ph.D. in Computer Science | Stanford | May 1975 |
| 1975-06-01 | AIM-260 | DAV_72 | David Canfield Smith | PYGMALION: A Creative Programming Environment | Thesis: Ph.D. in Computer Science | Stanford | June 1975 |
| 1975-12-01 | AIM-272 | KIC_72 | Sundaram Ganapathy | Reconstruction of Scenes Containing Polyhedra From Stereo Pair of Views | Thesis: Ph.D. in Computer Science | Stanford | December 1975 |
| 1975-12-01 | AIM-273 | LGH_73 | Linda Gail Hemphill | A Conceptual Approach to Automated Language Understanding and Belief Structures: with Disambiguation of the Word %2For%* | Thesis: Ph.D. in Linguistics | Stanford | May 1975 |
| 1976-02-01 | AIM-279 | SUZ_72 | Norihsa Suzuki | Automatic Verification of Programs with Complex Data Structures | Thesis: Ph.D. in Computer Science | Stanford | February 1976 |
| 1976-07-01 | AIM-282 | RHT_72 | Russell Taylor | Synthesis of Manipulator Control Programs From Task-Level Specifications | Thesis: Ph.D. in Computer Science | Stanford | July 1976 |
| 1976-07-01 | AIM-283 | KRD_72 | Randall Davis | Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases | Thesis: Ph.D. in Computer Science | Stanford | July 1976 |
| 1976-08-01 | AIM-284 | RF1973 | Rafael Finkel | Constructing and Debugging Manipulator Programs | Thesis: Ph.D. in Computer Science | Stanford | August 1976 |
| 1976-08-01 | AIM-286 | DBL_72 | Douglas Lenat | AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search | Thesis: Ph.D. in Computer Science | Stanford | July 1976 |
| 1976-08-01 | AIM-287 | MDR_75 | Michael Roderick | Discrete Control of a Robot Arm | Thesis: Engineer in Electrical Engineering | Stanford | August 1976 |
| 1976-12-01 | AIM-295 | RCB_72 | Robert C. Bolles | Verification Vision Within a Programmable Assembly System | Thesis: Ph.D. in Computer Science | Stanford | December 1976 |
| 1976-12-01 | AIM-296 | RSC_72 | Robert Cartwright | Practical Formal Semantic Definition and Verification Systems | Thesis: Ph.D. in Computer Science | Stanford | December 1976 |
| 1977-09-01 | AIM-304 | TJW_72 | Todd Wagner | Hardware Verification | Thesis: Ph.D. in Computer Science | Stanford | September 1977 |
| 1977-09-01 | AIM-305 | BLF_72 | William Faught | Motivation and Intensionality in a Computer Simulation Model | Thesis: Ph.D. in Computer Science | Stanford | September 1977 |
| 1977-12-01 | AIM-308 | DRB_73 | David Barstow | Automatic Construction of Algorithms | Thesis: Ph.D. in Computer Science | Stanford | December 1977 |
| 1978-03-01 | AIM-313 | BES_74 | Bruce E. Shimano | The Kinematic Design and Force Control of Computer Controlled Manipulators | Thesis: Ph.D. in Mechanical Engineering | Stanford | March 1978 |
| 1978-06-01 | AIM-316 | JJ1973 | Jerrold M. Ginsparg | Natural Language Processing in an Automatic Programming Domain | Thesis: Ph.D. in Computer Science | Stanford | June 1978 |
| 1979-04-01 | AIM-327 | REF_73 | Robert Elliot Filman | The Interaction of Observation and Inference | Thesis: Ph.D. in Computer Science | Stanford | April 1979 |
| 1979-06-01 | AIM-329 | | David Edward Wilkins | Using Patterns and Plans to Solve Problems and Control Search | Thesis: Ph.D. in Computer Science | Stanford | June 1979 |
| 1979-07-01 | AIM-331 | EK1974 | Elaine Kant | Efficiency Consideration in Program Synthesis: A Knowedge-Based Approach | Thesis: Ph.D. in Computer Science | Stanford | July 1979 |
| 1979-10-01 | AIM-333 | BPM_72 | Brian P. McCune | Building Program Models Incrementally from Informal Descriptions | Thesis: Ph.D. in Computer Science | Stanford | October 1979 |