Search
Now showing items 1061-1070 of 4210
The Computer as a Performing Instrument
(1971-02-01)
This memo was originally presented as a Project MAC seminar on February 20, 1970. From the outset, the computer has established two potential roles in the musical arts--the one as a sound synthesizer and the other as a ...
An Inquiry into Algorithmic Complexity
(1971-09-01)
This is the first section in a proposed monograph on algorithmic complexity theory. Future sections shall include: information Theory as a Proof Technique; Algorithms Using Linear Form Inequalities; Some Probabilistic ...
Instant TJ6. How to Get the System to Type Your Papers
(1971-09-01)
TJ6 is a program that takes disk files of text and arranges them so that they can be printed out neatly on 8 1/2 by 11 paper, lines justified, pages numbered, and so on. So that TJ6 will know what to do you must insert ...
Theories, Pre-Theories and Finite State Transformations on Trees
(1971-05-01)
The closure of an algebra is defined as a generalization of the semigroup of a finite automation. Pretheories are defined as a subclass of the closed algebras, and the relationship between pretheories and the algebraic ...
Computer Proofs of Limit Theorems
(1971-06-01)
In this paper we describe some relatively simple changes that have been made to an existing automatic theorem proving program to enable it to prove efficiently a number of the limit theorems of elementary calculus. These ...
Linking Loader for MIDAS
(1971-03-01)
This memo was originally printed as MAC Memo 268, January 31, 1966. The MIDAS Linking Loader is a PDP-6program to load re-locatable format output from the MIDAS assembler, with facilities to handle symbolic cross-reference ...
ITS Status Report
(1972-04-01)
ITS is a time-shared operating system designed for the Artificial Intelligence Laboratory DEC PDP-10/PDP-6 installation and tailored to its special requirements. This status report described the design philosophy behind ...
A Glossary of PDP11 LOGO Primitives
(1975-03-01)
This glossary was written for the purpose of providing a quick and concise yet accurate description of the primitives and special words and characters of the March 18, 1975 PDP 11 implementation of the LOGO languge. ...
The Luxury of Necessity
(1974-12-01)
This paper was originally written as an address to a conference of the National Association of Schools of Music on "The Music Consumer". Posing a series of questions which point to fundamental issues underlyin the ...
TORTIS: Toddler's Own Recursive Turgle Interpreter System
(1974-12-01)
TORTIS is a device for preschool children to communicated with and program the turtle. It consistst of several boxes (currently 3 button boxes and two blox boxes) designed so that only a few new concepts are introduced ...