Search
Now showing items 4021-4030 of 4210
Puma/Cougar Implementor's Guide
(MIT Artificial Intelligence Laboratory, 1985-04)
This document is intended to be a guide to assist a programmer in modifying or extending the Lisp Puma system, the Puma PDP-11 system, or the Cougar PDP-11 system. It consists mostly of short descriptions or hints, and is ...
Cabernet: A Content Delivery Network for Moving Vehicles
(2008-01-17)
This paper describes the design, implementation, and evaluation of Cabernet, a system to deliver data to and from moving vehicles using open 802.11 (WiFi) access points encountered opportunistically during travel. Network ...
Determining the Limits of Automated Program Recognition
(MIT Artificial Intelligence Laboratory, 1989-06)
Program recognition is a program understanding technique in which stereotypic computational structures are identified in a program. From this identification and the known relationships between the structures, a hierarchical ...
Decision Representation Language (DRL) and Its Support Environment
(MIT Artificial Intelligence Laboratory, 1989-08)
In this report, I describe a language, called Decision Representation Language (DRL), for representing the qualitative aspects of decision making processes such as the alternatives being evaluated, goals to satisfy, and ...
An Experiment in Knowledge Acquisition for Software Requirements
(MIT Artificial Intelligence Laboratory, 1990-05)
The Requirements Apprentice (RA) is a demonstration system that assists a human analyst in the requirements-acquisition phase of the software-development process. By applying the RA to another example it has been possible ...
A Program Design Assistant
(MIT Artificial Intelligence Laboratory, 1989-06)
The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...
Extending 2-D Smoothed Local Symmetries to 3-D
(MIT Artificial Intelligence Laboratory, 1985-11)
3-D Smoothed Local Symmetries (3-D SLS's) are presented as a representation for three-dimensional shapes. 3-D SLS's make explicit the perceptually salient features of 3-D objects and are especially suited to representing ...
Principles of Knowledge Representation and Reasoning in the FRAPPE System
(MIT Artificial Intelligence Laboratory, 1989-05)
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
The GSL Cookbook
(MIT Artificial Intelligence Laboratory, 1989-03)
This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.
Don't Loop, Iterate
(MIT Artificial Intelligence Laboratory, 1990-05)
I describe an iteration macro for Common Lisp that is clear, efficient, extensible, and in excellent taste.