Author: SRI International

  • Description Of SRI’s Baseline Stereo System

    We are implementing a baseline system for automated area-based stereo compilation.

  • Monitoring the Execution of Plans in SIPE

    In real-world domains (a mobile robot is used as a motivating example), things do not always proceed as planned. Therefore it is important to develop better execution-monitoring techniques and replanning capabilities. This paper describes the execution-monitoring and replanning capabilities of the SIPE planning system.

  • Goal-Directed Textured-Image Segmentation

    This report concentrates on textured-image segmentation using local texture-energy measures and user-delimited training regions. The SLICE algorithm combines knowledge of target textures or signatures with knowledge of background textures by using histogram-similarity transforms.

  • Parallel Guessing: A Strategy For High-Speed Computation

    In this paper we argue that “parallel guessing” for image analysis is a useful approach, and that several recent IU algorithms are based on this concept. We envision a parallel set of computers, each of which carries out a computation on a data set using some random or guessing process, and communicate the “goodness” of…

  • An Inductive Approach To Figural Perception

    An inductive approach consisting of two parts is presented. The first involves a scheme for describing the shapes of curves and surfaces and the second relies on a criterion for deciding which description is to be preferred.

  • A Deduction Model Of Belief and Its Logics

    This report is a slightly revised version of a thesis submitted to the Department of Computer Science at Stanford University in June 1984, in partial fulfillment of the requirements for the degree of Doctor of Philosophy.

  • Possible-World Semantics For Autoepistemic Logic

    This note presents an alternative, possible-world semantics for autoepistemic logic that enables us to construct finite models for autoepistemic theories, as well as to demonstrate the existence of sound and complete autoepistemic theories based on given sets of premises.

  • A Fast Surface Interpolation Technique

    A method for interpolating a surface through 3-D data is presented. The method is computationally efficient and general enough to allow the construction of surfaces with either smooth or rough texture.

  • Evaluation Of Scene-Analysis Algorithms

    A software evaluation methodology has been developed at SRI International for evaluating contributions to the ARPA/DMA Image Understanding Testbed. This paper describes the criteria that have shaped the evaluation methodology.

  • Image-To-Image Correspondence: Linear-Structure Matching

    We examine the task of matching images of a scene when they are taken from very different vantage points, when there is considerable scale change, and when the image orientations are unknown.

  • Belief and Incompleteness

    Two artificially intelligent (AI) computer agents begin to play a game of chess, and the following conversation ensues: S1: Do you know the rules of chess? S2: Yes. S1: Then you know whether White has a forced initial win or not. S2: Upon reflection, I realize that I must. S1: Then there is no reason…

  • The Role Of Logic In Artificial Intelligence

    This paper surveys three possible applications of logic in AI: as an analytical tool, as a knowledge representation formalism, and as a programming language.