Search
Now showing items 451-460 of 509
List Processing in Real Time on a Serial Computer
(MIT Artificial Intelligence Laboratory, 1977-04-01)
A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ...
Shallow Binding in LISP 1.5
(MIT Artificial Intelligence Laboratory, 1977-01)
Shallow binding is a scheme which allows the value of a variable to be accessed in a bounded amount of computation. An elegant model for shallow binding in LISP 1.5 is presented in which context-switching is an environment ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1977-05-10)
This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...
Cryptology and Data Communications
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper is divided into two parts. The first part deals with cryptosystems and cryptanalysis. It surveys the basic information about cryptosystems and then addresses two specific questions. Are cryptosystems such as ...
Reasoning By Analogy: A Progress Report
(MIT Artificial Intelligence Laboratory, 1976-10)
Rather.
From Computational Theory to Psychology and Neurophysiology -- a case study from vision
(MIT Artificial Intelligence Laboratory, 1976-08)
The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of a computation is expressed; (2) that at which the algorithms that implement a computation are characterised; ...
The Use of Dependency Relationships in the Control of Reasoning
(MIT Artificial Intelligence Laboratory, 1976-11)
Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
PSUDOC - A Simple Diagnostic Program
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper describes PSUDOC, a very simple LISP program to carry out some medical diagnosis tasks. The program's domain is a subset of clinical medicine characterized by patients presenting with edema and/or hematuria. The ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1976-11)
This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
Shadows and Cracks
(MIT Artificial Intelligence Laboratory, 1971-06)
The VIRGIN program will interpret pictures of crack and shadow free scenes by labelling them according to the Clowes/Huffman formalism. This paper indicates methods of extending the program to include cracks and shadows ...