Search
Now showing items 41-50 of 4210
The Genetic Epistemology of Rule Systems
(1978-01-01)
I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and ...
Analysis of a Cooperative Stereo Algorithm
(1977-10-01)
Marr & Poggio (1976) recently described a cooperative algorithm that solves the correspondence problem for stereopsis. This article uses a probabilistic technique to analyze the convergence of that algorithm, and ...
On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor
(1977-09-01)
The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns ...
An Introduction to the EMACS Editor
(1978-01-01)
EMACS is a real-time editor primarily intended for display terminals. The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more ...
Using Computer Technology to Provide a Creative Learning Environment for Preschool Children
(1976-05-01)
TORTIS is a system of special terminals together with software which is designed to provide programming capability and be accesible for use by very young children. The system is designed to add capabilities in small ...
Spatial Knowledge
(1976-06-01)
This paper introduces a model of spatial cognition to describe the states of partial knowledge that people have about the spatial structure of a large-scale environment. Spatial knowledge has several different ...
A System for Understanding Mathematical FORTRAN Programs
(1976-08-01)
This paper proposes a system which, when implemented, will be able to understand mathematical FORTRAN programs such as those in the IBM Scientific Subroutine Package. The system takes, as input, a program and annotation ...
Overview of a Linguistic Theory of Design
(1977-02-01)
SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from ...
From Understanding Computation to Understanding Neural Circuitry
(1976-05-01)
The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of computation is expressed; (2) that at which the algorithms that implement a computation are characterized; ...
A Laboratory Environment for Applications Oriented Vision and Manipulation
(1976-05-01)
This report is a brief summary guide to work done in the M.I.T. Artificial Intelligence Laboratory directed at the production of tools for productivity technology research. For detailed coverage of the work, readers ...