Search
Now showing items 21-30 of 521
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 ...
A Linguistics Oriented Programming Language
(1973-02-01)
A programming language for natural language processing programs is described. Examples of the output of programs written using it are given. The reasons for various design decisions are discussed. An actual session with ...
The FINDSPACE Problem
(1973-03-01)
The FINDSPACE problem is that of establishing a volume in space where an object of specified dimensions will fit. The problem seems to have two subproblems: the hypothesis generation problem of finding a likely spot to ...
A Stability Test for Configurations of Blocks
(1970-02-01)
This work is based on notes provided by Manuel Blum, which are paraphrased in section I, and which contain the examples used in the appendix. The main portion of this report was written by Bernard Neumann, who generalized ...
An Interim LISP User's Guide
(1970-03-01)
The substance of this memo is to initiate the naﶥ LISP user into the intricacies of the system at the Project MAC A.I. Lab. It is composed, at this time, of a Progress Report on the development of the LISP system and a ...
The Text-Justifier TJ6
(1970-06-01)
This memo describes the TJ6 type justifying program, which can be used in the production of memos, such as this one. In addition, Appendices 1, 2, and 3 of this memo contain related information about TECO, the "Selectric" ...