Search
Now showing items 851-860 of 4210
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 ...
The Disciplined Use of Simplifying Assumptions
(MIT Artificial Intelligence Laboratory, 1981-12)
Simplifying assumptions — everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with ...
Proposal For a Study of Commonsense Physical Reasoning
(MIT Artificial Intelligence Laboratory, 1981-07)
Our common sense views of physics are the first coin in our intellectual capital; understanding precisely what they contain could be very important both for understanding ourselves and for making machines more like us. ...
Operating the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1981-04)
This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
Guardians for Concurrent Systems
(MIT Artificial Intelligence Laboratory, 1980-12)
In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the ...
Presentation Based User Interfaces
(MIT Artificial Intelligence Laboratory, 1981-07)
This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
A Step Towards Automatic Documentation
(MIT Artificial Intelligence Laboratory, 1980-12)
This paper describes a system which automatically generates program documentation. Starting with a plan generated by analyzing the program, the system computes several kinds of summary information about the program. The ...