Publications
-
On The Mathematical Properties Of Linguistic Theories
Metatheoretical findings regarding the decidability, generative capacity, and recognition complexity of several syntactic theories are surveyed. These include context-free, transformational, lexical-functional, generalized phrase structure, tree adjunct, and stratificational grammars.
-
Team Users Guide
This user’s guide is designed to assist new TEAM users to learn about the concepts and tasks involved in retrieving data and in preparing a demonstration for a new application…
-
Automated Deduction By Theory Resolution
Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory. This can…
-
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…
-
Description Of SRI’s Baseline Stereo System
We are implementing a baseline system for automated area-based stereo compilation.
-
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…
-
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…
-
Tablog: The Deductive-Tableau Programming Language
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
-
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…
-
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.
-
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…
-
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…