Search
Now showing items 21-30 of 166
A Proposal to Investigate the Application of a Heuristic Theory of Tree Searching to a Chess Playing Program
(1963-02-01)
The problem of devising a mechanical procedure for playing chess is fundamentally the problem of searching the very large move-tree associated with a chess position. This tree-searching problem is representative of a large ...
Character-Handling Facilities in the LISP System
(1961-01-01)
Because of the new read program, a number of facilities are being added to the LISP system to permit manipulation of single characters and print names. Machine-language functions have been provided for breaking print names ...
Some Identities Concerning the Function Subst [x; y; z]
(1962-01-01)
The purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the ...
The Alpha-Beta Heuristic
(1961-12-01)
The Alpha-Beta heuristic is a method for pruning unneeded branches from the move tree of a game. The algorithm makes use of information gained about part of the tree to reject those branches which will not affect the ...
The Summer Vision Project
(1966-07-01)
The summer vision project is an attempt to use our summer workers effectively in the construction of a significant part of a visual system. The particular task was chosen partly because it can be segmented into sub-problems ...
Computer Experiments in Finite Algebra-II
(1965-12-01)
In a previous memo (Computer Experiments in Finite Algebra, MAC-M-245) we described a computer system for the handling of finite groups, semigroups, subsets, finite maps, and constants. This system has been extended to ...
Symbolic Integration II
(1966-10-01)
In this memo we describe the current state of the integration program originally described in AI Memo 97 (MAC-M-310). Familiarity with Memo 97 is assumed. Some of the algorithms described in that memo have been extended. ...
An Input Macro for TECO
(1966-09-01)
A macro has been written for TECO that enables one to insert characters into the buffer as they are typed with the entire current page (if not greater than the display screen"s height in length) always being displayed. ...
Modifications to PDP-6 Teletype Logic
(1966-08-01)
The existing teletype logic for the PDP-6 has been modified to accommodate up to four additional teletypes. These were added with a minimum of change to the existing logic, and are easily removable by taking out the cable ...
Output to the PDP-6 Calcomp Plotter
(1966-08-01)
The plotter on the console of the PDP-6 is currently attached to device number 774, and accepts stepping pulses given under control of a CONO to that device. Its normal mode of operation is to CONO the desired bits on, ...