Search
Now showing items 31-40 of 509
The Computer-Controlled Oculometer: A Prototype Interactive Eye Movement Tracking System
(1970-09-01)
One kind of eye movement tracking device which has great potential is the digital computer-controlled Oculometer, an instrument which non-invasively measures point of regard of the subject, as well as pupil diameter ...
Efficiency of Equivalence Algorithms
(1972-04-01)
This paper was first presented at the Symposium on Complexity of Computer Computations, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, on March 22, 1972. The equivalence problem is to determine the ...
Mini-Robot Proposal to ARPA
(1972-01-01)
During the next decade it will become practical to use more and more sophisticated techniques of automation--we shall call this "robotics"--both in established industries and in new areas. The rate at which these techniques ...
NIM: A Game-Playing Program
(1970-01-01)
This note illustrates some ideas about how to initiate beginning students into the art of planning and writing a program complex enough to be considered a project rather than an exercise on using the language or simple ...
Why Conniving is Better than Plannng
(1972-04-01)
This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our contention that the ...
The Conniver Reference Manual
(1972-05-01)
This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, ...
11SIM Reference Manual
(1972-02-01)
A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...
Planner Implementation Proposal to ARPA 1972-1973
(1971-12-01)
The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into ...
A Two Counter Machine Cannot Calculate 2N
(1972-05-01)
This note proves that a two counter machine cannot calculate 2N.
Proposal to NSF: An Evaluative Study of Modern Technology in Education
(1976-06-01)
This proposal to the NSF describes a new phase of research planned in LOGO. Previous phases have concentrated on developing a conceptual superstructure (theories and teaching methods) and a material infra-structure ...