Search
Now showing items 361-370 of 625
An Accountable Source-To-Source Transformation System
(1981-06-01)
Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. ...
The Use of Equality in Deduction and Knowledge Representation
(1980-01-01)
This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order ...
Suggestions for Genetic A.I.
(MIT Artificial Intelligence Laboratory, 1980-02)
This paper presents suggestions for "Genetic A.I.": an attempt to model the genesis of intelligence in human infants, particularly as described by Piaget's theory of the Sensorimotor period. The paper includes a synopsis ...
The Last Whole XGP Font Catalog
(MIT Artificial Intelligence Laboratory, 1980-03)
Routing Thoughts
(MIT Artificial Intelligence Laboratory, 1984-05)
In a parallel machine with many thousands of processors the routing of information between processors is a key task, which turns out to require as much hardware and perhaps more sophistication than local computing itself. ...
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 ...
The Role of Intensional and Extensional Representations in Simulation
(MIT Artificial Intelligence Laboratory, 1984-12)
I review three systems which do simulation in different domains. I observe the following commonality in the representations underlying the simulations:
• The representations used for individuals tend to be domain-dependent. ...
The EIGHT Manual: A System for Geometric Modelling and Three-Dimensional Graphics on the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1984-08)
We describe a simple geometric modelling system called Eight which supports interactive creation, editing, and display of three-dimensional polyhedral solids. Perspective views of a polyhedral environment may be generated, ...
Associative Learning of Standard Regularizing Operators in Early Vision
(MIT Artificial Intelligence Laboratory, 1984-12)
Standard regularization methods can be used to solve satisfactorily several problems in early vision, including edge detection, surface reconstruction, the computation of motion and the recovery of color. In this paper, ...
Tradeoffs in Designing a Parallel Architecture for the Apiary
(MIT Artificial Intelligence Laboratory, 1984-12)
The Apiary is an abstract computer architecture designed for performing computation based on the idea of message passing between dynamic computational objects called actors. An apiary connotes a community of worker bees ...