Search
Now showing items 31-40 of 55
Inferring Shape from Motion Fields
(1980-12-01)
The human visual system has the ability o utilize motion information to infer the shapes of surfaces. More specifically, we are able to derive descriptions of rigidly rotating smooth surfaces entirely from the orthographic ...
Shape from Regular Patterns: An Example of Constraint Propagation in Vision
(1980-03-01)
An algorithm is proposed for obtaining local surface orientation from the apparent distortion of surface patterns in an image. A spherical projection is used for imaging. A mapping is defined from points on this image ...
Towards a Computational Theory of Semantic Memory
(1980-02-01)
Research in memory has been a frustrating task not least because of the intimate familiarity with what we are trying to understand, and partly also because the human cognitive system has developed as an interactive ...
An Outlook on Truth Maintenance
(1980-08-01)
Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to ...
Theory of Handwriting
(1980-03-01)
Handwriting production is viewed as a constrained modulation of an underlying oscillatory process. Coupled oscillations in horizontal and vertical directions produce letter forms, and when superimposed on a rightward ...
A Model for Deliberation, Action, and Introspection
(1980-05-01)
This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a program might apply ...
The Definition and Implementation of a Computer Programming Language Based on Constraints
(1980-08-01)
The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network ...
Implementation of a Theory of Edge Detection
(1980-04-01)
This report describes the implementation of a theory of edge detection, proposed by Marr and Hildreth (1979). According to this theory, the image is first processed independently through a set of different size filters, ...
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 ...