Search
Now showing items 251-260 of 625
Derivation of an Efficient Rule System Pattern Matcher
(1989-02-01)
Formalizing algorithm derivations is a necessary prerequisite for developing automated algorithm design systems. This report describes a derivation of an algorithm for incrementally matching conjunctive patterns against ...
The Dynamic Structure of Everyday Life
(1988-10-01)
Computational theories of action have generally understood the organized nature of human activity through the construction and execution of plans. By consigning the phenomena of contingency and improvisation to ...
Design and Implementation of a Flexible Robot
(1989-08-01)
This robot has low natural frequencies of vibration. Insights into the problems of designing joint and link flexibility are discussed. The robot has three flexible rotary actuators and two flexible, interchangeable ...
The Disciplined Use of Simplifying Assumptions
(MIT Artificial Intelligence Laboratory, 1981-12)
Simplifying assumptions — everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with ...
Proposal For a Study of Commonsense Physical Reasoning
(MIT Artificial Intelligence Laboratory, 1981-07)
Our common sense views of physics are the first coin in our intellectual capital; understanding precisely what they contain could be very important both for understanding ourselves and for making machines more like us. ...
Operating the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1981-04)
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 ...
Guardians for Concurrent Systems
(MIT Artificial Intelligence Laboratory, 1980-12)
In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the ...
Presentation Based User Interfaces
(MIT Artificial Intelligence Laboratory, 1981-07)
This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
A Step Towards Automatic Documentation
(MIT Artificial Intelligence Laboratory, 1980-12)
This paper describes a system which automatically generates program documentation. Starting with a plan generated by analyzing the program, the system computes several kinds of summary information about the program. The ...
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 ...