Publications
-
Recovering Intrinsic Scene Characteristics From Images
We suggest that an appropriate role of early visual processing is to describe a scene in terms of intrinsic characteristics – such as range, orientation, reflectance, and incident illumination –…
-
Road Tracking and Anomaly Detection In Aerial Imagery
This report describes a new procedure for tracking road segments and finding potential vehicles in imagery of approximately 1 to 3 feet per pixel ground resolution.
-
Use of Sensors in Programmable Automation
In this paper we are concerned with the application of sensor-mediated programmable automation to material-handling, inspection, and assembly operations in batch-produced, discrete-part manufacturing.
-
Synthesis: Dreams = Programs
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.
-
PROSPECTOR: A Computer-Based Consultation System For Mineral Exploration
This paper reviews the principles and status of PROSPECTOR, a computer-based consultation program for mineral exploration. The mechanisms for representing ore deposit models by networks of inference rules are described,…
-
Developing A Natural Language Interface To Complex Data
This paper describes aspects of an intelligence interface that provides natural language access to a large body of data distributed over a computer network. The overall system architecture is presented,…
-
The Logic Of Computer Programming
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. This paper provides a unified tutorial exposition of the…
-
A Production System For Automatic Deduction
A new predicate calculus deduction system based on production rules is proposed. The system combines several developments in Artificial Intelligence and Automatic Theorem Proving research including the use of domain-specific…
-
The Representation and Use Of Focus In Dialogue Understanding
This report develops a representation of focus of attention that circumscribes discourse contexts within a general representation of knowledge. To formalize the notion of focus, the need for and the…
-
A Network-Based Knowledge Representation and Its Natural Systems
We describe a knowledge representation scheme called K-NET and a problem solving system called SNIFFER designed to answer queries using a K-NET knowledge base. K-NET uses a partitioned semantic net…
-
A Framework For Speech Understanding
This paper reports the author’s results in designing, implementing, and testing a framework for a speech-understanding system. The work was done as part of a multi-disciplinary effort based on state-of-the-art…
-
Managing Network Access to a Distributed Database
This paper describes a program, FAM – for File Access Manager –, used to access to data distributed over a computer network. FAM is a part of a system which…