Browsing Open Access Repositories by Issue Date
Now showing items 41-60 of 4204
-
SIR: A Computer Program for Semantic Information Retrieval
(1964-06-01)SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability ...
-
Hash-Coding Functions of a Complex Variable
(1964-06-25)A common operation in non-numerical analysis is the comparison of symbolic mathematical expressions. Often equivalence under the algebraic and trigonometric relations can be determined with the high probability by hash-coding ...
-
String Manipulation in the New Language
(1964-07-01)String manipulation can be made convenient within the *** language by implementing two functions: 1) match [workspace; pattern] and 2) construct {format;pmatch]. In this memo I describe how I think these two functions can ...
-
Proposed Instructions on the GE 635 for List Processing and Push Down Stacks
(1964-09-01)The instructions that transmit data between the index registers and the memory work only on the left half (address) portion of memory. These instructions are LDXn (load index n from address of storage word). And STXn (store ...
-
Natural Language Input for a Computer Problem Solving System
(1964-09-01)The STUDENT problem solving system, programmed in LISP, accepts as input a comfortable but restricted subset of English which can express a wide variety of algebra story problems. STUDENT finds the solution to a large ...
-
Unrecognizable Sets of Numbers
(1964-11-01)When is a set A of positive integers, represented as binary numbers, "regular" in the sense that it is a set of sequences that can be recognized by a finite-state machine? Let pie A(n) be the number of members of A less ...
-
CTSS LISP Notice-Supplement to A.I. Memo No. 67
(1964-12-01)The LISP system (command version) has been updated. Bugs are corrected include: 1. out of pushdown list in compiled function will not transfer to 77777. 2. with compiler printing turned off by comprint, it is truly off. ...
-
Television Camera-To-Computer Adapter: PDP-6 Device 770
(1965-01-01)The TVA (Television Adaptor) is a data-input device just completed. Any standard Closed-Circuit Television Camera can be connected to the PDP-6, without modification, by a single BNC connector. Then a simple program can ...
-
The COMIT Feature in LISP II
(1965-02-01)The purpose of COMIT feature is to facilitate certain types of list manipulations in LISP II. This feature is a syntactic convenience, rather than an extension of the semantics of LISP. It permits the programmer to test ...
-
Matter, Mind and Models
(1965-03-01)This paper attempts to explain why people become confused by questions about the relation between menal and physical events. When a question leads to confused, inconsistent answers, this may be (1) because the question is ...
-
Topics in Model Theory
(1965-05-01)The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
-
PDP-6 LISP Input-Output for the Display
(1965-06-01)An intermediate level language for display programming has been embedded in LISP 1.5 The language is intended as a basis for higher analysis of display information. Through the construction of a hierarchy of LISP functions ...
-
PDP-6 LISP Input-Output for the Dataphone
(1965-06-01)A version of LISP 1.5 for the PDP-6 Computer has been extended to include IO through the dataphone. This makes possible communication between programs running in Project MAC time sharing and LISP programs running on the ...
-
Computer Experiments in Finite Algebra
(1965-06-01)The experiments described here concern an initial design for a computer system specifically for the handling of finite groups, rings, fields, semigroups, and vector spaces. The usefulness of such a system was discussed in ...
-
MAC PDP-6 DECtape File Structure
(1965-07-01)The MAC system programs, MACDMP, TECO, and MIDAS, assume a certain data structure on DECtapes which they handle. Each DECtape has 1100 blocks of 200 words, numbered 0 through 1077. Block 0 and blocks 1070 through 1077 are ...
-
PDP-6 TECO
(1965-07-01)TECO is a scope-keyboard text- editor. It uses an on-line command language (which permits macro-definitions, corditional, etc.) as well as text operations. The macro language permits the most sophisticated search, ...
-
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, ...
-
Use of MACDMP
(1965-07-01)MACIMP is a PDP-6 program which can load from DECtape to core memory, dump core onto DECtape, or verify a previously dumped filel against memory. Normally, just before it loads, it clears all of memory to 0 (except itself ...
-
Design of the Hand
(1965-08-01)The following scheme for designing a general-purpose manipulator organ has many theoretical attractions. The basic idea is perhaps best conceived as a theoretical, or mathematical, idea. While it is unlikely that the actual ...
-
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 ...