Search
Now showing items 51-60 of 4210
Cooperative Computation of Stereo Disparity
(1976-06-01)
The extraction of stereo disparity information from two images depends upon establishing a correspondence between them. This article analyzes the nature of the correspondence computation, and derives a cooperative algorithm ...
Artificial Intelligence -- A Personal View
(1976-03-01)
The goal of A.I. is to identify and solve useful information processing problems. In so doing, two types of theory arise. Here, they are labelled Types 1 and 2, and their characteristics are outlined. This discussion creates ...
Physiology and Psychology of Color Vision -- A Review
(1976-08-01)
This paper is a review of the anatomy, physiology, and psychology of human color vision.
A Human Oriented Logic for Automatic Theorem Proving
(1972-10-01)
The automation of first order logic has received comparatively little attention from researcher intent upon synthesizing the theorem proving mechanism used by humans. The dominant point of view [15], [18] has been that ...
Proposal to ARPA for Continued Research on A.I.
(1972-10-01)
The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge ...
Heuristic Techniques in Computer Aided Circuit Analysis
(1975-03-01)
We present EL, a new kind of circuit analysis program. Whereas other circuit analysis systems rely on classical, formal analysis techniques, EL employs heuristic "inspection" methods to solve rather complex DC bias ...
Differential Perceptrons
(1973-01-01)
As originally proposed, perceptrons were machines that scanned a discrete retina and combined the data gathered in a linear fashion to make decisions about the figure presented on the retina. This paper considers differential ...
The Low-level Symbolic Representation of Intensity Changes in an Image
(1974-12-01)
A family of symbols is defined by which much of the useful information in an image may be represented, and its choice is justified. The family includes symbols for the various commonly occuring intensity profiles that are ...
Visual Position Extraction using Stereo Eye Systems with a Relative Rotational Motion Capability
(1973-03-01)
This paper discusses the problem of context-free position estimation using a stereo vision system with moveable eyes. Exact and approximate equations are developed linking position to measureable quantities of the ...
D-SCRIPT: A Computational Theory of Descriptions
(1973-02-01)
This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are ...