Publications
-
Choosing A Basis For Perceptual Space
If it is possible to interpret an image as a projection of rectangular forms, there is a strong tendency for people to do so. In effect, a mathematical basis for…
-
Evidential Reasoning: An Implementation For Multisensor Integration
Perceptual information is not readily captured in terms of simple truths and falsities or in terms of probabilistic estimates, when the appropriate statistical data are lacking.
-
Transportability and Generality In A Natural-Language Interface System
This paper describes the design of a transportable natural language (NL) interface to databases and the constraints that transportability places on each components of such a system.
-
Direct Parsing Of Id/Lp Grammars
We develop a parsing algorithm, based on the algorithm of Earley, for parsing ID/LP grammars directly, circumventing the initial expansion phase. We also discuss some aspects of the time complexity…
-
Overview Of The Image Understanding Testbed
The Image Understanding Testbed is a system of hardware and software that is designed to facilitate the integration, testing, and evaluation of implemented research concepts in machine vision.
-
Some Remarks on the Place of Logic in Knowledge Representation
What is the place of logic in knowledge representation? It is argued that the answer to this question depends on what one means by logic.
-
An Abstract Prolog Instruction Set
This report describes an abstract Prolog instruction set suitable for software, firmware, or hardware implementation. The instruction set is abstract in that certain details of its encoding and implementation are…
-
An Overlapped Prolog Processor
The report compares the organization to both general-purpose, microcoded machines and reduced-instruction-set machines. Hand timings indicate that a peak performance rate of 450 K LIPS (logical inferences per second) is…
-
Planning English Referring Expressions
This paper describes a theory of language generation based on planning. To illustrate the theory, the problem of planning referring expressions is examined in detail. A theory based on planning…
-
Metarules as Meta-Node-Admissibility Conditions
Meta-rule phrase structure grammars (MPS grammars ) have been shown to be an extremely powerful formalism in need of constraints from both the computational and the linguist points of view.
-
A Laser Scanner for Solder Joint Imaging
This report gives a preliminary account of the construction of a low-cost laser system for providing data on defective solder joints on printed circuit boards.
-
The Relax Image Relaxation System: Description and Evaluation
The purpose of the IU Testbed is to provide a means for transferring technology from the DARPA-sponsored program to DMA and other organizations in the defense community.