Author: SRI International
-
Research on Automatic Program-Synthesis Systems
We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
-
AROS Algorithms for Partitioning a Picture
This one-pass algorithm is rather complex in nature, and several alternatives have been suggested, one of which (a two-pass algorithm) we have chosen for use for comparison purposes because of its simplicity and apparent efficiency.
-
A LISP Implementation of BIP
This document describes a LISP implementation of BIP (Basic Interface Package) on the PDP-10 computer.
-
A Question Answering System for AP Chemistry: Assessing KR Technologies
In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its assessment.
-
Head Start Program
Assessment of federal efforts to reduce poverty leads to groundbreaking research methodology.
-
Development and Application of Question-Answering Techniques for a Remote-Access Medical-Information Retrieval System
The objective of the proposed research program is to further develop the application of Q-A theory and techniques to practical medical information-retrieval systems.
-
A Lisp-Fortran-Macro Interface for The PDP-10 Computer
A considerable effort has been made to endow the interface with generality and ease of use, as much as could be achieved without tampering with the FORTRAN and LISP operating systems and compilers.
-
A Region-Oriented Data Structure
This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and reduces combinatorial types of search by implicitly including positional information.
-
A Mobile Automation: an Application of Artificial Intelligence Techniques
A research project applying artificial intelligence techniques to development of integrated robot systems is described.
-
How a 90-minute presentation became the catalyst to the modern world of personal computing
The inspiration behind the technology at your fingertips today: the Mother of All Demos
-
The computer mouse and interactive computing
Your Mouse. Our “X-Y Position Indicator for a Display System.” Thankfully Mouse won out.
-
Survey of Artificial Intelligence
We shall be able to describe the principles underlying such Artificial Intelligence projects as: The General Problem-Solver, the Logic Theory Machine, Symbolic Integration, Geometry Theorem Proving, Theorem Proving in the propositional and the predicate calculus , and game playing.