Publications
-
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…
-
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.
-
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.
-
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.
-
Applied Logic – It’s use and implementation as a programming tool
The ideas are illustrated by describing in detail one sizable prologue program which implements a simple compiler the advantages and practicability of using prologue for real compiler implementation are discussed.
-
The Relationship Between Image Irradiance and Surface Orientation
A formulation of shape from shading is presented in which surface orientation is related to image irradiance without requiring detailed knowledge of either the scene illumination or the albedo of…
-
Applied Logic and Its Use and Implementation As A Programming Tool
The first part of the thesis explains from first principles the concept of "logic programming’’ and its practical application in the programming language Prolog.
-
Parsing As Deduction
By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is…
-
A Prolegomenon to Situation Semantics
An attempt is made to compare Computational Linguistics with Situational Semantics.