Author: SRI International

  • 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.

  • 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.

  • Telegram: A Grammar Formalism For Language Planning

    The TELEGRAM system described in this paper solves this problem by annotating a unification grammar with assertions about how grammatical choices are used to achieve various goals, and by enabling the planner to augment the functional description of an utterance as it is being unified.

  • 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 the surface material.

  • 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.

  • Providing A Unified Account Of Definite Noun Phrases In Discourse

    This paper focuses on the use of various referring expressions such as definite noun phrases and pronouns and examines their interaction with mechanisms used to maintain discourse coherence.

  • A Prolegomenon to Situation Semantics

    An attempt is made to compare Computational Linguistics with Situational Semantics.

  • Can Drawing Be Liberated From The Von Neumann Style?

    Current graphics database tools give the user a view of drawing that is too constrained by the low-level machine operations used to implement the tools. A new approach to graphics databases is proposed, based on the description of objects and their relationships in the restricted form of logic embodied 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 the basis of the Earley Deduction proof procedure for definite clauses.

  • Semantical Considerations On Nonmonotonic Logic

    We define an intuitively based semantics for which we can show autoepistemic logic to be both sound and complete. We then compare autoepistemic logic with the approach of McDermott and Doyle, showing how it avoids the peculiarities of their nonmonotonic logic.

  • Shape From Shading: An Assessment

    In dealing with the question of what surface parameters can be recovered locally from image shading, we show that, at most, shading determines relative surface curvature, i.e., the ratio of surface curvature measured in orthogonal image directions.