Search
Now showing items 171-180 of 509
Grey Scale Display Slave
(MIT Artificial Intelligence Laboratory, 1974-05)
The programs SNAP and ZSLAVE are components of a new grey scale display system. The object is to produce photographs, from a computer display, which have grey scale resolution comparable to that of a the visual input devices ...
Another Approach to English
(MIT Artificial Intelligence Laboratory, 1974-06)
A new approach to building descriptions of English is outlined and programs implementing the ideas for sentence-sized fragments are demonstrated.
X-Y Table User's Manual
(MIT Artificial Intelligence Laboratory, 1974-05)
This working paper describes the mini-robot group's X-Y table and associated hardware.
A Preliminary Report on a Program for Generating Natural Language
(MIT Artificial Intelligence Laboratory, 1975-06)
A program framework has been designed in which the linguistic facts and heuristics necessary for generating fluent natural language can be encoded. The linguistic data is represented in annotated procedures and data ...
Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving
(MIT Artificial Intelligence Laboratory, 1976-06)
This paper describes GEL, a new geometry theorem prover. GEL is the result of an attempt to transfer the problem solving abilities of the EL electronic circuit analysis program of Sussman and Stallman to the domain of ...
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 ...