Search
Now showing items 51-58 of 58
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 ...
Design of Cooperative Networks
(MIT Artificial Intelligence Laboratory, 1983-07)
In this paper we analyse several approaches to the design of Cooperative Algorithms for solving a general problem: That of computing the values of some property over a spatial domain, when these values are constrained (but ...
Representing Change for Common-Sense Physical Reasoning
(MIT Artificial Intelligence Laboratory, 1983-01)
Change pervades every moment of our lives. Much of our success in dealing with a constantly changing world is based in common-sense physical reasoning about processes and physical systems. Processes are the way quantities ...
Virtual Inclusion
(MIT Artificial Intelligence Laboratory, 1983-09)
Several recent knowledge-representation schemes have used virtual copies for storage efficiency. Virtual copes are confusing. In the course of trying to understand, implement, and use Jon Doyle's SDL virtual copy mechanism, ...
Differential Operators for Edge Detection
(MIT Artificial Intelligence Laboratory, 1983-03)
We present several results characterizing two differential operators used for edge detection: the Laplacian and the second directional derivative along the gradient. In particular, (a)we give conditions for coincidence of ...
CL1 Manual
(MIT Artificial Intelligence Laboratory, 1983-09)
CL1 is a prototyping language for programming a Connection Machine. It supports a model of the Connection Machine as a collection of tiny conventional machines (process elements), each with its own independent program counter.