Search Constraints
You searched for:
Genre
memorandums
Remove constraint Genre: memorandums
Date Range
1964
Remove constraint Date Range: 1964
1 - 20 of 20
Number of results to display per page
Search Results
- Title:
- Documentation of the MacMahon Squares Problem. AIM-012.
- Author:
- Feldman, Gary
- Author (no Collectors):
- Feldman, Gary
- Description:
- An exposition of the MacMahon Squares problem together with some 'theoretical' results on the nature of its solutions and a short discussion of an ALGOL program which finds all solutions are contained herein.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- December 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 1964
- Genre:
- memorandums
- Identifier:
- AIM-012
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Time-Sharing Project Memo : User's Manual to the Odi Time Sharing System. Memo 23.
- Author:
- Feldman, Gary and Gilman, Harold
- Author (no Collectors):
- Feldman, Gary and Gilman, Harold
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- October 02, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), October 2, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Axiomatization and Implementation. AIM-015.
- Author:
- Finkelstein, Mark and Safier, Fred
- Author (no Collectors):
- Finkelstein, Mark and Safier, Fred
- Description:
- An example of a typical Advice-Taker axiomatization of a situation is given, and the situation is programmed in LISP as an indication of how the Advice-Taker could be expected to react. The situation chosen is the play of a hand of bridge.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- June 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1964
- Genre:
- memorandums
- Identifier:
- AIM-015
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Time-Sharing Project Memo : The Arrangnement of Reserved Areas of the 1301 Disk File. Memo 16.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- January 15, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 15, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : Time Sharing Implementation on the PDP-1. Memo 20.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- May 29, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), May 29, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- An Expression Input Routine for LISP. AIM-018.
- Author:
- Hext, Jan
- Author (no Collectors):
- Hext, Jan
- Description:
- The expression input routine is a LISP function, Mathread [ ] with associated definitions, which reads in expressions such as (A+3-F(X,Y,Z)). Its result is an equivalent S-expression. The syntax of allowable expressions is given, but (unlike ALGOL's) it does not define the precedence of the operators; nor does the program carry out any explicit syntax analysis. Instead the program parses the expression according to a set of numerical precedence values, and reports if it finds any symbol out of context.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1964
- Genre:
- memorandums
- Identifier:
- AIM-018
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Programming Languages and Translation. AIM-019.
- Author:
- Hext, Jan
- Author (no Collectors):
- Hext, Jan
- Description:
- A notation is suggested for defining the syntax of a language in abstract form, specifying only its semantic constituents. A simple language is presented in this form and its semantic definition given in terms of these constituents. Methods are then developed for translating this language, first into LISP code and from there to machine code, and for proving that the translation is correct.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- August 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), August 1964
- Genre:
- memorandums
- Identifier:
- AIM-019
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Formal System of Computation. AIM-025.
- Author:
- Mansfield, Richard
- Author (no Collectors):
- Mansfield, Richard
- Description:
- We discuss a tentative axiomatization for a formal system of computation and within this system we prove certain propositions about the convergence of recursive definitions proposed by J. McCarthy.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- September 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1964
- Genre:
- memorandums
- Identifier:
- AIM-025
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Formal Description of a Subset of ALGOL. AIM-024.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- We describe Microalgol, a trivial subset of Algol, by means of an interpreter. The notions of abstract syntax and of 'state of the computation' permit a compact description of both syntax and semantics. We advocate an extension of this technique as a general way of describing programming language.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- September 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1964
- Genre:
- memorandums
- Identifier:
- AIM-024
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Tough nut for Proof Procedures. AIM-016.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- It is well known to be impossible to tile with dominoes a checkerboard with two opposite corners deleted. This fact is readily stated in the first order predicate calculus, but the usual proof which involves a parity and counting argument does not readily translate into predicate calculus. We conjecture that this problem will be very difficult for programmed proof procedures.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1964
- Genre:
- memorandums
- Identifier:
- AIM-016
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Computer Control of a Machine for Exploring Mars. AIM-014.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- Landing a 5000 pound package on Mars that would spend a year looking for life and making other measurements has been proposed. We believe that this machine should be a stored program computer with sense and motor organs and that the machine should be mobile. We discuss the following points: 1. Advantages of a computer controlled system. 2. What the computer should be like. 3. What we can feasible do given the present state of work on artificial intelligence. 4. A plan for carrying out research in computer controlled experiments that will make the Mars machine as effective as possible.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- January 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 1964
- Genre:
- memorandums
- Identifier:
- AIM-014
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Formal Description of the Game of Pang-Ke. AIM-017.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Description:
- The game of Pang-Ke is formulated in a first-order-logic in order to provide grist for the Advice-Taker Mill. The memo does not explain all the terms used.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1964
- Genre:
- memorandums
- Identifier:
- AIM-017
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Time-Sharing Project Memo : Cerberus. Memo 14.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- January 03, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 3, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : Preliminary Timeshared Operation. Memo 22.
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- July 10, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 10, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- LISP 2 Specifications Proposal. AIM-021.
- Author:
- Mitchell, R. W.
- Author (no Collectors):
- Mitchell, R. W.
- Description:
- Specifications for a LISP 2 system are proposed. The source language is basically Algol 60 extended to include list processing, input/output and language extension facilities. The system would be implemented with a source language translator and optimizer, the output of which could be processed by either an interpreter or a compiler. The implementation is specified for a single address computer with particular reference to an IBM 7090 where necessary . Expected efficiency of the system for list processing is significantly greater than the LISP 1.5 compiler. For execution of numeric algorithms the systems should be be comparable to many current "algebraic" compilers. Some familiarity with LISP, 1.5 Algol and the IBM 7090 is assumed.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- August 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), August 1964
- Genre:
- memorandums
- Identifier:
- AIM-021
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026.
- Author:
- Reddy, D. Raj
- Author (no Collectors):
- Reddy, D. Raj
- Description:
- Speech sounds have in the past been investigated with the aid of spectographs, vo-coders and other analog devices. With the availability of digital computers with improved i-o devices such as Cathode Ray tubes and analog digital converters, it has recently become practicable to employ this powerful tool in the analysis of speech sounds. Some papers have appeared in the recent literature reporting the use of computers in the determination of the fundamental frequency and for vowel recognition. This paper discusses the details and results of a preliminary investigation conducted at Stanford. It includes various aspects of speech sounds such as waveforms of vowels and consonants; determination of a fundamental of the wave; Fourier (spectral) analysis of the sound waves format determination, simple vowel recognition algorithm and synthesis of sounds. All were obtained by the use of a digital computer.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- October 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), October 1964
- Genre:
- memorandums
- Identifier:
- AIM-026
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Source Language Optimization of For-loops. AIM-020.
- Author:
- Reddy, D. Raj
- Author (no Collectors):
- Reddy, D. Raj
- Description:
- Program execution time can be reduced, by a considerable amount, by optimizing the 'For-loops' of Algol programs. By judicious use of index registers and by evaluating all the sub-expressions whose values are not altered within the 'For-loop', such optimization can be achieved. In this project we develop an algorithm to optimize Algol programs in list-structure form and generate a new source language program, which contains the 'desired contents in the index registers' as a part of the For-clause of the For-statement and additional statements for evaluating the same expressions outside the 'For-loop' This optimization is performed only for the innermost 'For-loops'. The program is written entirely in LISP. Arrays may have any number of subscripts. Further array declarations may have variable dimensions. (Dynamic allocation of storage.) The program does not try to optimize arithmetic expressions. (This has already been extensively investigated.)
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- August 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), August 1964
- Genre:
- memorandums
- Identifier:
- AIM-020
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Kalah -- the Game and the Program. AIM-022.
- Author:
- Russell, Richard
- Author (no Collectors):
- Russell, Richard
- Description:
- A description of Kalah and the Kalah program, including sub-routine descriptions and operating instructions.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- September 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1964
- Genre:
- memorandums
- Identifier:
- AIM-022
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- The New LISP System (LISP 1.55). AIM-013.
- Author:
- Wooldridge, Dean E.
- Author (no Collectors):
- Wooldridge, Dean E.
- Description:
- The new LISP system is described. Although differing only slightly it is thought to be an improvement on the old system.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- February 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), February 1964
- Genre:
- memorandums
- Identifier:
- AIM-013
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Time-Sharing Project Memo : Gogol Error Messages. Memo 24.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- November 29, 1964
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), November 29, 1964
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
