Publications
-
Interactive Aids For Cartography and Photo Interpretation
In this report, the application areas of ARPA-supported Machine Vision work at SRI were changed to Cartography and Photointerpretation. This change entailed general familiarization with the new domains, exploration of…
-
Hendrix’s Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation
This paper presents a self-contained introduction and implementation description to a simulation system for modeling simultaneous action and continuous processes.
-
Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching
Parametric correspondence is a technique for matching images to a three dimensional symbolic reference map. An analytic camera model is used to predict the location and appearance of landmarks in…
-
LIFER: a Natural Language Interface Facility
This note describes LIFER, a practical facility for creating natural language interfaces to other computer software. Emphasizing human engineering, LIFER has bundled natural language specification and parsing technology into one…
-
Application Of Interactive Scene Analysis Techniques To Cartography
This paper proposes an interactive graphically generated method for delineation of cartographic and cultural features on a map.
-
Perceptual Strategies For Purposive Vision
This report describes a computer program that approaches perception as a problem-solving task. The system uses information about the appearances of objects, about their interrelationships, and about available sensors to…
-
Experiments In Speech Understanding System Control
The main experiment tested the effects on performance of four major choices: focus attention by inhibition or use an unbiased best-first method, “island-drive’’ or process left or right, use context…
-
Is “Sometimes” Sometimes Better Than “Always”? Intermittent Assertion In Proving Program Correctness
This approach, which we call the intermittent-assertion method, involves documenting the program with assertions that must be true at some time when control is passing through the corresponding point, but…
-
Some Examples of AI Mechanisms for Goal Seeking, Planning, and Reasoning
In this paper we review some perhaps lesser know AI ideas that might also have utility in psychological modeling.
-
Msys: A System For Reasoning About Scenes
MSYS is a system for reasoning with uncertain information and inexact rules of inference. Its major application, to date, has been to the interpretation of visual features (such as regions)…
-
Qlisp: A Language For The Interactive Development Of Complex Systems
This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in…
-
QLISP Reference Manual
QLISP permits free intermingling of advanced language constructs with those of INTERLISP. It provides an associative data base, viewed from perspectives controlled by a powerful context mechanism.