Search
Now showing items 981-990 of 4210
Removing Shadows in a Scene
(1970-08-01)
This paper describes a LISP function, ERASER, to be used in the process of recognizing objects by a computer. It is a pre-processor to a program called SEE which finds whole bodies in a scene. A short description of SEE ...
Cellular Automata
(1970-06-01)
This paper presents in order 1) a brief description of the results, 2) a definition of cellular automata, 3) discussion of previous work in this area by Von Neumann and Codd, and 4) details of how the prescribed behaviors ...
Peter Samson's Music Processor, BIG
(1970-07-01)
The contents of this memo are: commands which create a name, commands which create music, playing commands, plotting commands, general utility commands, debugging commands (in relation to relics of the past, features you ...
More Comparative Schematology
(1970-08-01)
Schemas are programs in which some of the function symbols are un-interpreted. In this paper we compare classed of schemas in which various kinds of constraints are imposed on some of the function symbols. Among the classes ...
The Vision Laboratory: Part One
(1970-07-01)
Some of the facilities for vision programming are discussed in the format of a user's manual.
Movie Memo
(1970-04-01)
This is intended as brief explanation of how to use the Kodak movie camera in sync with a display.
A Theory of Computer Instructions
(1965-09-01)
This paper has arisen from an attempt to determine the nature of computer instructions from a viewpoint of general function and set theory. Mathematical machines, however the term is understood, are not adequate models for ...
MIDAS
(1968-10-01)
The MIDAS linking loader is a PDP-6 program to load relocatable-format output from the MIDAS assemblers, with facilities to handle symbolic cross-reference between independently assembled programs. Although it is arranged ...
A Useful Algebraic Property of Robinson's Unification Algorithm
(1965-11-01)
This memo presupposes some acquaintance with "A Machine Oriented Logic Based on the Resolution Principle", J.A. Robinson, JACM Jan65. The reader unfamiliar with this paper should be able to get a general idea of the ...
Syntax and Display of Mathematical Expressions
(1965-07-01)
A LISP program converts a mathematical expression stored in list structure form, into a text-book style visual display. To do this, requires the selection and positioning of the individual symbols which make up the expression, ...