Search
Now showing items 351-360 of 509
The Art of the Interpreter of the Modularity Complex (Parts Zero, One, and Two)
(1978-05-01)
We examine the effects of various language design decisions on theprogramming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular systems. At each ...
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation
(1977-05-01)
This paper presents a discussion of means of describing the discourse and its components which makes speech act interpretation and reference disambiguation possible with minimal search of the knowledge in the database. ...
Arithmetic Shifting Considered Harmful
(1976-09-01)
For more than a decade there has been great confusion over the semantics of the standard "arithmetic right shift" instruction. This confusion particularly afflicts authors of computer reference handbooks and of ...
Artificial Intelligence Progress Report
(1972-01-01)
Research at the Laboratory in vision, language, and other problems of intelligence. This report is an attempt to combine a technical progress report with an exposition of our point of view about certain problems in the ...
PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
(1970-08-01)
PLANNER is a language for proving theorems and manipulating models in a robot. The language is built out of a number of problem-solving primitives together with a hierarchical control structure. Statements can be asserted ...
A Heterarchical Program for Recognition of Polyhedra
(1972-06-01)
Recognition of polyhedra by a heterarchical program is presented. The program is based on the strategy of recognizing objects step by step, at each time making use of the previous results. At each stage, the most obvious ...
A Concrete Approach to Abstract Recursive Definitions
(1972-06-01)
We introduce a non-categorical alternative to Wagner's Abstract Recursive Definitions [Wg-1,2] using a generalization of the notion of clone called a u-clone. Our more concrete approach yields two new theorems: 1.) the ...
PEEK
(1973-05-01)
PEEK is a utility program designed to operate under the ITS time sharing system. It enables a user to monitor a variety of aspects of the time sharing system by providing periodically updated display output or periodic ...
On Lightness
(1973-10-01)
The intensity at a point in an image is the product of the reflectance at the corresponding object point and the intensity of illumination at that point. We are able to perceive lightness, a quantity closely correlated ...
The Conniver Reference Manual
(1972-05-01)
This manual is an introduction and reference to the latest version of the Conniver programming language, an AI language wit general control and data-base structures.