Publications
-
Stereo Integral Equation
A new approach to the formulation and solution of the problem of recovering scene topography from a stereo image pair is presented.
-
A Morphological Recognizer With Syntactic and Phonological Rules
This paper describes a morphological analyzer which, when parsing a word, uses two sets of rules: describing the syntax of words, and rules describing facts about orthography.
-
Commonsense Metaphysics and Lexical Semantics
In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to…
-
A Model Of Plan Inference That Distinguishes Between The Beliefs of Actors and Observers
I describe a model of PI that rests on an analysis of plans as mental phenomena. I show that the content of an appropriate response to a query is affected…
-
High-Level Planning In A Mobile Robot Domain
The bulk of the paper presents both problems encountered during the process of encoding this domain, and extensions of the planning system that were made to solve them.
-
A Simple Reconstruction Of GPSG
Like most linguistic theories, the theory of generalized phrase structure grammar (GPSG) has described language axiomatically, that is, as a set of universal and language-specific constraints on the well-formedness of…
-
A Stochastic Approach To Stereo Vision
A stochastic optimization approach to stereo matching is presented. The approach provides a dense array of disparities, eliminating the need for interpolation.
-
Using Generic Geometric Knowledge To Delineate Cultural Objects In Aerial Imagery
We present a paradigm for discovering the outlines of arbitrarily complex cultural objects in aerial imagery.
-
AI Knowledge Bases and Databases
In which the author expresses general skepticism about proposals for a trouble free marriage of AI Knowledge Bases and Databases (narrowly and tendentiously construed.) The author argues, as well, against a shotgun wedding.
-
The California History-Social Sciences Framework: A Case Study In Implementation Process Analysis
-
A System For Reasoning In Dynamic Domains: Fault Diagnosis On The Space Shuttle
This report describes a reactive system for reasoning about and performing complex tasks in dynamic environments. A powerful and theoretically sound scheme for representing and reasoning about actions and processes…
-
Evidential Knowledge-Based Computer Vision
In this paper, we discuss some of the differences between the DS theory and some popular Bayesian-based approaches to effecting the reasoning task.