Search
Now showing items 1-10 of 521
Interim Report of the LOGO Project in the Brookline Public Schools
(1978-06-01)
The LOGO activities of a group of 16 sixth-grade students, representing a full spectrum of ability, are being documented with a view to developing ways of capturing the learning possibilities of such an environment. The ...
AMORD: A Deductive Procedure System
(1978-01-01)
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is to serve as a ...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
(1979-01-01)
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...
Towards a Theory of Local and Global in Computation
(1977-09-01)
We formulate the rudiments of a method for assessing the difficulty of dividing a computational problem into "independent simpler parts." This work illustrates measures of complexity which attempt to capture the ...
Propagation of Constraints Applied to Circuit Synthesis
(1978-09-01)
A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis ...
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 ...