Search
Now showing items 561-570 of 646
Exact Reproduction of Colored Images
(MIT Artificial Intelligence Laboratory, 1980-12)
The problem of producing a colored image from a colored original is analyzed. Conditions are determined for the production of an image, in which the colors cannot be distinguished from those in the original by a human ...
Formalizing the Expertise of the Assembly Language Programmer
(MIT Artificial Intelligence Laboratory, 1980-09)
A novel compiler strategy for generating high quality code is described. The quality of the code results from reimplementing the program in the target language using knowledge of the program's behavior. The research is a ...
Simulating a Semantic Network in LMS
(MIT Artificial Intelligence Laboratory, 1980-09-29)
A semantic network is a collection of nodes and the links between them. The nodes represent concepts, functions and entities, and the links represent relationships between varoius nodes. Any semantic network must be supplied ...
Report on the Workshop on Distributed AI
(MIT Artificial Intelligence Laboratory, 1980-09)
On June 9-11, 22 people gathered at Endicott House for the first workshop on the newly emerging topic of Distributed AI. They came with a wide range of views on the topic, and indeed a wide range of views of what precisely ...
A Synthesis of Language Ideas for AI Control Structures
(MIT Artificial Intelligence Laboratory, 1980-07)
Two well known programming methodologies for artificial intelligence research are compared, the so-called pattern-directed invocation languages and the object-oriented languages. The features and limitations of both ...
Worms of Ganymedes - Hazards of Image "Restoration"
(MIT Artificial Intelligence Laboratory, 1980-09)
Naive Problem Solving and Naive Mathematics
(MIT Artificial Intelligence Laboratory, 1983-06)
AI problem solvers have almost always been given a complete and correct axiomatization of their problem domain and of the operators available to change it. Here I discuss a paradigm for problem solving in which the problem ...
Switching Between Discrete and Continuous Models To Predict Genetic Activity
(MIT Artificial Intelligence Laboratory, 1983-10)
Molecular biologists use a variety of models when they predict the behavior of genetic systems. A discrete model of the behavior of individual macromolecular elements forms the foundation for their theory of each system. ...
Formalizing Reusable Software Components
(MIT Artificial Intelligence Laboratory, 1983-07)
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. Unfortunately, there has been only limited success in actually doing this. We believe ...
Interfacing to the Programmer's Apprentice
(MIT Artificial Intelligence Laboratory, 1983-02)
In this paper, we discuss the design of a user interface to the Knowledge Based Editor (KBE), a prototype implementation of the Programmer's Apprentice. Although internally quite sophisticated, the KBE hides most of its ...