Author: SRI International

  • One-Eyed Stereo: A Unified Strategy To Recover Shape From A Single Image

    In this paper we contend that the distinct assumptions made in each of these schemes must be tantamount to providing a second (virtual) image of the original scene, and that any one of these approaches can be translated into a conventional stereo formalism.

  • Experimental Robot Psychology

    Here I propose an approach that I call it experimental robot psychology because it involves formalizing and reasoning about the design of existing robot agents. It shows promise of yielding an efficient and general means of reasoning about cognitive states.

  • The Structures Of Discourse Structure

    This paper presents the basic elements of a computational theory of discourse structure that simplifies and expands upon previous work. It is concerned with answers to two rather simple questions: What is discourse? What is discourse structure?

  • On Some Formal Properties Of Metarules

    Grammars contain rules for generating sentences. Metarules are statements about these rules. They are metagrammatical devices that can be used to generate rules of the grammar or to encode certain relations among them such as redundancies in their form.

  • Constraints On Order

    A modified linear precedence (LP) component of Generalized Phrase Structure Grammar (GPSG) is proposed that accommodates partially free word order. In the revised framework, LP rules are sets of LP clauses. In a case in which these clauses make conflicting ordering predictions, more than one order is grammatical.

  • Reference and Denotation: The Descriptive Model

    This paper deals with a specific approach to the problem of reference that I call the descriptive model.  In particular, I am going to examine some relations between this model and a certain distinction between referential and attributive uses of definite descriptions.

  • The Stereo Challenge Data Base

    As previously reported in Fischler [1984] and Hannah [1984], SRI International is implementing a complete, state-of-the-art stereo system that will produce dense three-dimensional (3-D) data from stereo pairs of intensity images.

  • Linear Precedence In Discontinuous Constituents: Complex Fronting In German

    It is shown that the current framework of Generalized Phrase Structure Grammar (GPSG) is not suited for describing the interaction of leftward extractions, scrambling, and constraints on linear order.

  • Evaluation Of Stereosys Vs. Other Stereo Systems

    SRI International is implementing a complete, state-of the-art stereo system that will produce dense three-dimensional (3D) data from stereo pairs of intensity images.  This system forms a framework for much of our stereo research and will be a base component of our planned expert system for 3-D compilation.

  • Formal Theories Of Knowledge In AI and Robotics

    The machine is regarded as knowing a fact if its state either explicitly encodes the fact as a sentence of an interpreted formal language or if such a sentence can be derived from other encoded sentences according to the rules of an appropriate logical system.

  • More Notes From The Unification Underground: A Second Compilation Of Papers On Unification-Based Grammar Formalisms

    We study a new corpus of patient-clinician interactions recorded when patients are admitted to a hospital for suicide risk and again when they are released.

  • Criteria For Designing Computer Facilities For Linguistic Analysis

    We discuss several aspects of computer use that are preeminent in establishing the utility for linguistic research of computer tools and describe several factors that must be considered in designing such computer tools to aid in testing linguistic analyses of grammatical phenomena.