Author: SRI International
-
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”.
-
The Role Of Logic In Knowledge Representation and Commonsense Reasoning
We argue that there is an important set of issues, involving incomplete knowledge of a problem situation, that so far have been addressed only by systems based on formal logic and deductive inference, and that, in some sense, probably can be dealt with only by systems based on logic and deduction.
-
Planning Natural-Language Utterances To Satisfy Multiple Goals
This dissertation presents the results of research on a planning formalism for a theory of natural-language generation that will support the generation of utterances that satisfy multiple goals.
-
Computational Stereo
We broadly define computational stereo as the recovery of the three-dimensional characteristics of a scene from multiple images taken from different points of view.