Search
Now showing items 11-20 of 46
Meta-evaluation of Actors with Side-effects
(MIT Artificial Intelligence Laboratory, 1975-06)
Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects which allow sharing ...
Meta-evaluation of Actors with Side-effects
(MIT Artificial Intelligence Laboratory, 1975-06)
Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. ...
Visual Tracking of Real World Objects
(MIT Artificial Intelligence Laboratory, 1975-07)
This paper describes the progress made towards tracking an object visually using a PIN diode attached to a dual mirror deflection system which enables the PIN diode to "optically point" to any position in two-space. A ...
Presupposition in Lexical Analysis and Discourse
(MIT Artificial Intelligence Laboratory, 1975-07)
Recent research in linguistic analysis of presuppositions has provided numerous indications of the role of presupposition in lexical analysis. Still others have argued there is no distinction between meaning and the ...
Bargaining Between Goals
(MIT Artificial Intelligence Laboratory, 1975-01)
Bargaining is a process used to modify conflicting demands on an expendable resource so that a satisfactory allocation can be made. In this paper, I consider the design of a bargaining system to handle the problem of ...
Transparency
(MIT Artificial Intelligence Laboratory, 1975-07)
How People Execute Handwriting
(MIT Artificial Intelligence Laboratory, 1975-07)
Handwriting is shown to be composed mainly of cup-shaped strokes lasting approximately 200 msec. The strokes are based on a hexagonal pattern, with quantized slopes and lengths. Each side of the hexagon is produced by a ...
Turtle Escapes the Plane: Some Advanced Turtle Geometry
(1975-12-01)
Since the LOGO Turtle took his first step he has been mathematically confined to running around on flat surfaces. Fortunately the physically intuitive, procedurally oriented nature of the Turtle which makes him a ...
Model-Driven Geometry Theorem Prover
(1975-05-01)
This paper describes a new Geometry Theorem Prover, which was implemented to illuminate some issues related to the use of models in theorem provin. The paper is divided into three parts: Part 1 describes G.T.P. and ...
A Frame for Frames: Representing Knowledge for Recognition
(1975-03-01)
This paper presents a version of frames suitable for representing knowledge for a class of reconition problems. An initial section gives an intuitive model of frames, and illustrates a number of desirable features of ...