Search
Now showing items 91-100 of 509
Active Knowledge
(MIT Artificial Intelligence Laboratory, 1973-10)
A progress report on the work described in Vision Flashes 33 and 43 on recognition of real objects. Emphasis is on the "active" use of knowledge in directing the flow of visual processing.
A Fair Power Domain for Actor Computations
(MIT Artificial Intelligence Laboratory, 1979-06)
Actor-based languages feature extreme concurrency, allow side effects, and specify a form of fairness which permits unbounded nondeterminism. This makes it difficult to provide a satisfactory mathematical foundation for ...
Towards a Better Definition of Transactions
(MIT Artificial Intelligence Laboratory, 1979-05)
This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and Continuous Functionals". What is called a "goal-oriented activity" in that paper will be referred to in this paper as a ...
Security and Modularity in Message Passing
(MIT Artificial Intelligence Laboratory, 1979-02)
This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...
Evolutionary Programming with the Aid of A Programmers' Apprentice
(MIT Artificial Intelligence Laboratory, 1979-05)
Preliminary Design of the APIARY for VLSI Support of Knowledge-Based Systems
(MIT Artificial Intelligence Laboratory, 1979-06)
Knowledge-based applications will require vastly increased computational resources to achieve their goals. We are working on the development of a VLSI Message Passing Architecture to meet this need. As a first step we ...
Concurrent Systems Need Both Sequences And Serializers
(MIT Artificial Intelligence Laboratory, 1979-02)
Contemporary concurrent programming languages fall roughly into two classes. Languages in the first class support the notion of a sequence of values and some kind of pipelining operation over the sequence of values. Languages ...
Global Time in Actor Computations
(MIT Artificial Intelligence Laboratory, 1979-06)
The XPRT Description System
(MIT Artificial Intelligence Laboratory, 1979-01)
This paper introduces a frame-based description language and studies methods for reasoning about problems using knowledge expressed in the language.
The system is based on the metaphor of a society of communicating experts ...
Building English Explanations from Function Descriptions
(MIT Artificial Intelligence Laboratory, 1979-04)
An explanatory component is an important ingredient in any complex AI system. A simple generative scheme to build descriptive phrases from Lisp function calls can produce respectable explanations if explanation generators ...