Search
Now showing items 1-10 of 31
A Stability Test for Configurations of Blocks
(1970-02-01)
This work is based on notes provided by Manuel Blum, which are paraphrased in section I, and which contain the examples used in the appendix. The main portion of this report was written by Bernard Neumann, who generalized ...
An Interim LISP User's Guide
(1970-03-01)
The substance of this memo is to initiate the naﶥ LISP user into the intricacies of the system at the Project MAC A.I. Lab. It is composed, at this time, of a Progress Report on the development of the LISP system and a ...
The Text-Justifier TJ6
(1970-06-01)
This memo describes the TJ6 type justifying program, which can be used in the production of memos, such as this one. In addition, Appendices 1, 2, and 3 of this memo contain related information about TECO, the "Selectric" ...
The Computer-Controlled Oculometer: A Prototype Interactive Eye Movement Tracking System
(1970-09-01)
One kind of eye movement tracking device which has great potential is the digital computer-controlled Oculometer, an instrument which non-invasively measures point of regard of the subject, as well as pupil diameter ...
NIM: A Game-Playing Program
(1970-01-01)
This note illustrates some ideas about how to initiate beginning students into the art of planning and writing a program complex enough to be considered a project rather than an exercise on using the language or simple ...
Shape from Shading: A Method for Obtaining the Shape of a Smooth Opaque Object from One View
(1970-11-01)
A method will be described for finding the shape of a smooth apaque object form a monocular image, given a knowledge of the surface photometry, the position of the lightsource and certain auxiliary information to ...
Proposal to ARPA for Research on Artificial Intelligence at MIT, 1970-1971
(1970-12-01)
The MIT Artificial Intelligence Project has a variety of goals all bound together by search for principles of intelligent behavior. Among our immediate goals are to develop systems with practical applications for: ...
On Boundary Detection
(1970-07-01)
A description is given of how edge erase of prismatic objects appear through a television camera serving as visual input to a computer. Two types of edge-finding predicates are proposed and compared, one linear in intensity, ...
A User's Guide to the A.I. Group LISCOM LISP Complier: Interim Report
(1970-12-01)
The LISCOM version of the AI group PDP/6 LISP compiler is a descendant of the original Greenblatt-Nelson compiler, and is a friendly sibling to the COMPLR version maintained by Jon L. White. The compiler operates in two ...
Display Functions in LISP
(1970-03-01)
This note describes a system which compiles various forms of LISP lists and arrays into display commands for the DEC 340 display, and provides supporting functions for scaling, for moving elements in a display, for pot ...