Search
Now showing items 321-330 of 509
Filling in the Gaps: The Shape of Subjective Contours and a Model for Their Generation
(1976-10-01)
The properties of isotropy, smoothness, minimum curvature and locality suggest the shape of filled-in contours between two boundary edges. The contours are composed of the arcs of two circles tangent to the given ...
A Proof-Checker for Dynamic Logic
(1977-06-01)
We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate ...
Using Synthetic Images to Register Real Images with Surface Models
(1977-08-01)
A number of image analysis tasks can benefit from registration of the image with a model of the surface being imaged. Automatic navigation using visible light or radar images requires exact alignment of such images ...
Frame-based Text Processing
(1977-11-01)
This paper presents an overview of a theory of discourse structure, and discusses a model for assimilating text into a frame-based data structure. The model has been applied to the analysis of news articles. The theory ...
Teacher's Guide for Computational Models of Animal Behavior
(1977-04-01)
This is an experimental curriculum unit which suggests how the computational perspective can be integrated into a subject such as elementary school biology. In order to illustrate the interplay of computer and non-computer ...
Modelling Distributed Systems
(1977-06-01)
Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and ...
Plain Talk About Neurodevelopmental Epistemology
(1977-06-01)
This paper is based on a theory being devloped in collaboration with Seymour Papert in which we view the mind as an organized society of intercommunicating "agents". Each such agent is, by itself, very simple. The ...
SCHEME: An Interpreter for Extended Lambda Calculus
(1975-12-01)
Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and ...
On the Purpose of Low-level Vision
(1974-12-01)
This article advances the thesis that the purpose of low-level vision is to encode symbolically all of the useful information contained in an intensity array, using a vocabulary of very low-level symbols: subsequent processes ...
A Note on the Computation of Binocular Disparity in a Symbolic, Low-Level Visual Processor
(1974-12-01)
The goals of the computation that extracts disparity from pairs of pictures of a scene are defined, and the contraints imposed upon that computation by the three-dimensional structure of the world are determined. ...