Search
Now showing items 1-10 of 35
Estimating Stereo Disparities
(1967-02-01)
An interesting practical and theoretical problem is putting bounds on how much computation one needs to find the stereo-disparity between two narrow-angle stereo scenes. By narrow angle I mean situations wherein the angle ...
DERIVATOR I: A Program for Visual Inspection of Solutions to First-Order Non-Linear Differential Equations
(1963-12-01)
Derivator is a PDP-1 program for examining the solutions to differential equations by inspection of a visual display of trajectories. Because fixed-point arithmetic is used (in order to maintain visual display speeds), ...
Artificial Intelligence Progress Report
(1972-01-01)
Research at the Laboratory in vision, language, and other problems of intelligence. This report is an attempt to combine a technical progress report with an exposition of our point of view about certain problems in the ...
Universality of TAG Systems with P-2
(1963-04-01)
In the following sections we show, by a simple direct construction, that computations done by Turing machines can be duplicated by a very simple symbol manipulation process. The process is described by a simple form of ...
Unrecognizable Sets of Numbers
(1964-11-01)
When is a set A of positive integers, represented as binary numbers, "regular" in the sense that it is a set of sequences that can be recognized by a finite-state machine? Let pie A(n) be the number of members of A less ...
Linearly Unrecognizable Patterns
(1967-01-01)
The central theme of this study is the classification of certain geometrical properties according to the type of computation necessary to determine whether a given figure has them.
K-Lines: A Theory of Memory
(1979-06-01)
Most theories of memory suggest that when we learn or memorize something, some "representation" of that something is constructed, stored and later retrieved. This raises questions like: How is information represented? ...
Fault-Tolerant Design for Multistage Routing Networks
(1990-04-01)
As the size of digital systems increases, the mean time between single component failures diminishes. To avoid component related failures, large computers must be fault-tolerant. In this paper, we focus on methods for ...
Manipulator Design Vignettes
(1981-10-01)
This memo is about mechanical arms. The literature on robotics seems to be deficient in such discussions, perhaps because not enough sharp theoretical problems have been formulated to attract interest. I"m sure many of ...
Nature Abhors an Empty Vacuum
(1981-08-01)
Imagine a crystalline world of tiny, discrete "cells", each knowing only what its nearest neighbors do. Each volume of space contains only a finite amount of information, because space and time come in discrete units. ...