Publications
-
Human Engineering For Applied Natural Language Processing
Human engineering features for enhancing the usability of practical natural language systems are described. Such features include spelling correction, processing of incomplete (elliptical) inputs, interrogation of the underlying language definition…
-
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…
-
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…
-
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…