Browsing AI Working Papers (1971 - 1995) by Title
Now showing items 139-158 of 291
-
The Line Proposer P%PROPOSE1, and Additional Notes on "F%FEATUREPOINTS" and "GVERIFY1"
(MIT Artificial Intelligence Laboratory, 1971-04-02)The line proposer P%PROPOSE1 is described in the first part of this memo. It makes use of links provided by the J%JOIN program, in proposing possibly missing lines in a line drawing of simple plane-faced objects. The ... -
The Line Verifier GVERIFY1
(MIT Artificial Intelligence Laboratory, 1971)A line verifier is presented which, given the co-ordinates of the end points of the hypothesized line, returns a (possibly) more accurate version of the end points, together with an estimate of the probability that there ... -
The LISP Machine
(MIT Artificial Intelligence Laboratory, 1974-11) -
Lisp Machine Choice Facilities
(MIT Artificial Intelligence Laboratory, 1981-06)This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ... -
List Processing in Real Time on a Serial Computer
(MIT Artificial Intelligence Laboratory, 1977-04-01)A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ... -
Logical Control Theory Applied to Mechanical Arms
(MIT Artificial Intelligence Laboratory, 1979-02)A new control algorithm based upon Logical Control Theory is developed for mechanical manipulators. The controller uses discrete tesselations of state space and a finite set of fixed torques to regulate non-rehearsed ... -
Logo Turtle Graphics for the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1981-05-05)This paper is a manual for an implementation of Logo graphics primitives in Lisp on the MIT Lisp Machine. The graphics system provides: Simple line drawing and erasing using "turtle geometry" Flexible relative and absolute ... -
Looking in the Shadows
(MIT Artificial Intelligence Laboratory, 1976-05)The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ... -
MAPPER Information
(MIT Artificial Intelligence Laboratory, 1974-09)This working paper describes a program on the Mini-Robot PDP-11 which is used for looking at picture files created by the VIDIN program. It may be used by ITS vision programmers to examine Vidicon picture files before ... -
Mapping Sentences to Case Frames
(MIT Artificial Intelligence Laboratory, 1977-03)This paper describes a range of phenomena that a case frame system should be able to handle and proposes generalizations to capture this behavior which are formulated as a set of production-like rules. These rules allow ... -
Mechanical Arm Control
(MIT Artificial Intelligence Laboratory, 1973-03-19)This paper discusses three main problems associated with the control of the motion of a mechanical arm. 1) Transformation between different coordinate systems used to describe the state of the arm. 2) Calculation of ... -
Merging Illustrations and Printing on Big Paper
(MIT Artificial Intelligence Laboratory, 1987-07)How to guide for some of the printing utilities in the AI lab. Describes how TEX tiles are processed and how some illustrations may be merged into the final copy. Also describes how to use TEX to print on 8.5x14 (legal) ... -
Meta-evaluation of Actors with Side-effects
(MIT Artificial Intelligence Laboratory, 1975-06)Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects which allow sharing ... -
Meta-evaluation of Actors with Side-effects
(MIT Artificial Intelligence Laboratory, 1975-06)Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. ... -
A Method, Based on Plans, for Understanding How a Loop Implements a Computation
(MIT Artificial Intelligence Laboratory, 1977-07)The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the ... -
Mini-Robot Group User's Guide
(MIT Artificial Intelligence Laboratory, 1974-03)This working paper describes the facilities of the mini-robot group and the software available to persons using those facilities. -
Mini-Robot Group User's Guide Part 1: The 11/45 System
(MIT Artificial Intelligence Laboratory, 1978-06)This USER'S GUIDE is in two parts. Part 1 describes the facilities of the mini-robot group 11/45 and the software available to persons using those facilities. It is intended for those writing their own programs to be run ... -
Mini-Robot Group User's Guide Part 2: Access From ITS
(MIT Artificial Intelligence Laboratory, 1978-06)Part 2 of the MINI-ROBOT USER'S GUIDE describes those devices attached to the mini-robot system which may be accessed from ITS, and describes the appropriate software for accessing them. Specifically, the photowriter, ... -
MIT Mobile Robots - What's Next?
(MIT Artificial Intelligence Laboratory, 1987-11)The MIT Mobile Robot Project began in January of 1985 with the objective of building machines that could operate autonomously and robustly in dynamically changing environments. We now have four working robots, each ... -
A Mobile Robot Project
(MIT Artificial Intelligence Laboratory, 1985-02)We are building a mobile robot which will roam around the AI lab observing and later perhaps doing. Our approach to building the robot and its controlling software differs from that used in many other projects in a number ...
