Search
Now showing items 471-480 of 625
Qualitative Process Theory
(1984-07-01)
Objects move, collide, flow, bend, heat up, cool down, stretch, compress and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand common sense ...
Representing and Reasoning About Change in Geologic Interpretation
(1983-12-01)
Geologic interpretation is the task of inferring a sequence of events to explain how a given geologic region could have been formed. This report describes the design and implementation of one part of a geologic interpretation ...
Using Structural and Functional Information in Diagnostic Design
(1983-06-01)
We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity ...
Qualitative Analysis of MOS Circuits
(1984-07-01)
With the push towards sub-micron technology, transistor models have become increasingly complex. The number of components in integrated circuits has forced designer's efforts and skills towards higher levels of design. ...
Learning Shape Descriptions: Generating and Generalizing Models of Visual Objects
(1985-09-01)
We present the results of an implemented system for learning structural prototypes from grey-scale images. We show how to divide an object into subparts and how to encode the properties of these subparts and the relations ...
Redundant Sensors for Mobile Robot Navigation
(1985-09-01)
Redundant sensors are needed on a mobile robot so that the accuracy with which it perceives its surroundings can be increased. Sonar and infrared sensors are used here in tandem, each compensating for deficiencies in ...
Surface Perception from Local Analysis of Texture and Contour
(1980-02-01)
The visual analysis of surface shape from texture and surface contour is treated within a computational framework. The aim of this study is to determine valid constraints that are sufficient to allow surface orientation ...
BUILD: A Tool for Maintaining Consistency in Modular Systems
(1985-11-01)
Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a ...
A Government-Binding Based Parser for Warlpiri, a Free-Word Order Language
(1987-01-01)
Free-word order languages have long posed significant problems for standard parsing algorithms. This thesis presents an implemented parser, based on Government-Binding (GB) theory, for a particular free-word order ...
Structural Dynamics Model of a Cartesian Robot
(1985-10-01)
Methods are developed for predicting vibration response characteristics of systems which change configuration during operation. A cartesian robot, an example of such a position-dependent system, served as a test case ...