Search results for: “all”
-
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.
-
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 has been devised.
-
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.
-
The DARPA / DMA Image Understanding Testbed System Manager’s Manual
The primary purpose of the Image Understanding (IU) Testbed is to provide a means for transferring technology from the DARPA-sponsored IU research program to DMA and other organizations in the defense community.
-
A General Selection Criterion For Inductive Inference
This paper presents a general criterion for measuring the degree to which any given theory can be considered a good explanation of a particular body of data. A formal definition of what constitutes an acceptable explanation of a body of data is given, and the length of explanation used as a measure for selecting the…
-
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.
-
Behavioral Specification and Planning for Multiagent Domains
This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains.
-
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.
-
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.
-
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.