Search
Now showing items 191-200 of 509
The Computation of Immediate Texture Discrimination
(1977-08-01)
The computation of immediate texture discrimination involves finding boundaries between regions of differing texture. Various textures are examined to investigate the factors determining discrimination in the limited ...
Explicit Control of Reasoning
(1977-06-01)
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report ...
Learning by Creating and Justifying Transfer Frames
(1977-01-01)
Learning is defined to be the computation done by a student when there is a transfer of information to him from a teacher. In the particular kind of learning discussed, the teacher names a source and destination. In ...
Specification and Proof Techniques for Serializers
(1977-08-01)
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which ...
LISP Machine Progress Report
(1977-08-01)
This informal paper introduces the LISP Machine, describes the goals and current status of the project, and explicates some of the key ideas. It covers the LISP machine implementation, LISP as a system language, ...
Proposal to ARPA for Continued Research on A.I. for 1973
(1973-06-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 ...
Velocity Space and the Geometry of Planetary Orbits
(1974-12-01)
We develop a theory of orbits for the inverse-square central force law which differs considerably from the usual deductive approach. In particular, we make no explicit use of calculus. By beginning with qualitative ...
Turtle Escapes the Plane: Some Advanced Turtle Geometry
(1975-12-01)
Since the LOGO Turtle took his first step he has been mathematically confined to running around on flat surfaces. Fortunately the physically intuitive, procedurally oriented nature of the Turtle which makes him a ...
Model-Driven Geometry Theorem Prover
(1975-05-01)
This paper describes a new Geometry Theorem Prover, which was implemented to illuminate some issues related to the use of models in theorem provin. The paper is divided into three parts: Part 1 describes G.T.P. and ...
Lambda: The Ultimate Imperative
(1976-03-01)
We demonstrate how to model the following common programmingsconstructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, ...