Search
Now showing items 81-86 of 86
Program Improvement by Automatic Redistribution of Intermediate Results
(MIT Artificial Intelligence Laboratory, 1988-05)
The problem of automatically improving the performance of computer programs has many facets. A common source of program inefficiency is the use of abstraction techniques in program design: general tools used in a specific ...
A Proposal For An Intelligent Debugging Assistant
(MIT Artificial Intelligence Laboratory, 1988-01)
There are many ways to find bugs in programs. For example, observed input and output values can be compared to predicted values. An execution trace can be examined to locate errors in control flow. The utility of these and ...
The Novice's Guide to the UNIX at the AI Laboratory Version 1.0
(MIT Artificial Intelligence Laboratory, 1988-05)
This is a manual for complete beginners. It requires little knowledge of the MIT computer systems, and assumes no knowledge of the UNIX operating system. This guide will show you how to log onto the AI Lab's SUN system ...
Spurious Behaviors in Qualitative Prediction
(MIT Artificial Intelligence Laboratory, 1988-03)
I examine the scope and causes of the spurious behavior problem in two widely different approaches to qualitative prediction, Sacks' PLR and Kuipers' QSIM. QSIM's proliferation of spurious behaviors and PLR's limited ...
The New Idiot's Guide to OZ
(MIT Artificial Intelligence Laboratory, 1988-02)
This is a manual for complete beginners. It assumes no knowledge of the MIT computer systems. This guide will teach you how to log onto the computer called OZ, a DEC PDP-20 computer running the TWENEX (TOPS-20) operating ...
Dependency-Directed Backtracking in Non-Deterministic Scheme
(MIT Artificial Intelligence Laboratory, 1988-08)
Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...