Search
Now showing items 611-620 of 646
An Estelle compiler
(1988)
The increasing development and use of computer networks has necessitated international standards to be defined. Central to the standardization efforts is the concept of a Formal Description Technique (FDT) which is used ...
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 ...
MIT Mobile Robots - What's Next?
(MIT Artificial Intelligence Laboratory, 1987-11)
The MIT Mobile Robot Project began in January of 1985 with the objective of building machines that could operate autonomously and robustly in dynamically changing environments. We now have four working robots, each ...
Planning is Just a Way of Avoiding Figuring Out What To Do Next
(MIT Artificial Intelligence Laboratory, 1987-09)
The idea of planning and plan execution is just an intuition based decomposition. There is no reason it has to be that way. Most likely in the long term, real empirical evidence from systems we know to be built that way ...
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 Condor Programmer's Manual - Version II
(MIT Artificial Intelligence Laboratory, 1987-07)
This is the CONDOR programmer's manual, that describes the hardware and software that form the basis of the real-time computational architecture built originally for the Utah-MIT hand. The architecture has been used ...
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 ...
Merging Illustrations and Printing on Big Paper
(MIT Artificial Intelligence Laboratory, 1987-07)
How to guide for some of the printing utilities in the AI lab. Describes how TEX tiles are processed and how some illustrations may be merged into the final copy. Also describes how to use TEX to print on 8.5x14 (legal) ...