Search
Now showing items 571-580 of 625
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.
Integrating vision modules with coupled MRFs
(MIT Artificial Intelligence Laboratory, 1985-12)
I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...
Test Programming by Program Composition and Symbolic Simulation
(MIT Artificial Intelligence Laboratory, 1985-11)
Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...
Construction and Refinement of Justified Causal Models Through Variable-Level Explanation and Perception, and Experimenting
(MIT Artificial Intelligence Laboratory, 1985-12)
The competence being investigated is causal modelling, whereby the behavior of a physical system is understood through the creation of an explanation or description of the underlying causal relations.
After developing a ...
Transcendence, Facticity, and Modes of Non-Being
(MIT Artificial Intelligence Laboratory, 1986-03)
Research in artificial intelligence has yet to satisfactorily address the primordial fissure between human consciousness and the material order. How is this split reconciled in terms of human reality? By what duality is ...
Automated Program Recognition: A Proposal
(MIT Artificial Intelligence Laboratory, 1985-12)
The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...