Author: SRI International

  • The Phoenix Image Segmentation System: Description and Evaluation

    This report summarizes applications for PHOENIX, the history and nature of the algorithm, details of the Testbed implementation, the manner in which it is invoked and controlled, the type of results that can be expected, and suggestions for further development.

  • The Ghough Generalized Hough Transform Package: Description, and Evaluation

    This report summarizes applications for which GHOUGH is suited, the history and nature of the algorithm, details of the Testbed implementation, the manner in which GHOUGH is invoked and controlled, the types of results that can be expected, and suggestions for further development.

  • From Image Irradiance To Surface Orientation

    A new formulation of shape from shading is presented in which surface orientation is related to image irradiance without requiring detailed knowledge of the scene illumination, or of the albedo of the surface material.

  • Two-dimensional laser fluorescence technology

    Spectroscopic method now used worldwide to visualize flow and chemical processes in combustion.

  • Computer security theory of noninterference

    SRI researchers develop one of the most influential theoretical approaches to the study of computer security.

  • Interpreting Perspective Images

    Two constructive methods are presented: the first finds the orientation of parallel lines and planes and the second determines the orientation of plans by `backprojection’ of two intrinsic properties of contours: angle magnitude and curvature.

  • Dialogic: A Core Natural-Language Processing System

    The design of DIALOGIC (and of its constituent modules) was influenced by the goal of using it as the core language-processing component in a variety of systems, some of which are transportable to new domains of application.

  • Local Shading Analysis

    Local analysis of image shading, in the absence of prior knowledge about the viewed scene, may be used to provide information about the scene.

  • A Nonclausal Connection-Graph Resolution Theorem-Proving Program

    A new theorem-proving program, combining the use of nonclausal resolution and connection graphs, is described. The use of nonclausal resolution as the inference system eliminates some of the redundancy and unreadability of clause-based systems.

  • Modeling and Using Physical Constraints In Scene Analysis

    This paper describes the results obtained in a research program ultimately concerned with deriving a physical sketch of a scene from one or more images. Our approach involves modeling physically meaningful information that can be used to constrain the interpretation process, as well as modeling the actual scene content.

  • The Byzantine Generals Problem

    Reliable computer systems must handle malfunctioning components that give conflicting information to different parts of the system. This situation can be expressed abstractly in terms of a group of generals of the Byzantine army camped with their troops around an enemy city.

  • A View Of The Fifth Generation and Its Impact

    In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title “Fifth Generation Computer Systems”.