Author: SRI International
-
Interpreting Network Formalisms
The author attempts to sketch adequate semantic accounts for at least two (kinds of) semantic network formalisms; one, based on the notion of inheritance, one, not.
-
Logic For Natural Language Analysis
This work investigates the use of formal logic as a practical tool for describing the syntax and semantics of a subset of English, and building a computer program to answer data base queries expressed in that subset.
-
Administrator Training Preferences In Riverside County Schools
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.