Search
Now showing items 31-40 of 86
Derivation of an Efficient Rule System Pattern Matcher
(1989-02-01)
Formalizing algorithm derivations is a necessary prerequisite for developing automated algorithm design systems. This report describes a derivation of an algorithm for incrementally matching conjunctive patterns against ...
Design and Implementation of a Flexible Robot
(1989-08-01)
This robot has low natural frequencies of vibration. Insights into the problems of designing joint and link flexibility are discussed. The robot has three flexible rotary actuators and two flexible, interchangeable ...
Machine Recognition as Representation and Search
(1989-12-01)
Generality, representation, and control have been the central issues in machine recognition. Model-based recognition is the search for consistent matches of the model and image features. We present a comparative ...
Limits of Precision for Human Eye Motor Control
(1989-11-01)
Dichoptic presentation of vernier stimuli, i.e., one segment to each eye, yielded three times higher thresholds than binocular presentation, mainly due to uncorrelated movements of both eyes. Thresholds allow one to ...
Computation of Texture and Stereoscopic Depth in Humans
(1989-10-01)
The computation of texture and of stereoscopic depth is limited by a number of factors in the design of the optical front-end and subsequent processing stages in humans and machines. A number of limiting factors in ...
Generalizing on Multiple Grounds: Performance Learning in Model-Based Technology
(1989-02-01)
This thesis explores ways to augment a model-based diagnostic program with a learning component, so that it speeds up as it solves problems. Several learning components are proposed, each exploiting a different kind ...
On Interpreting Stereo Disparity
(1989-02-01)
The problems under consideration center around the interpretation of binocular stereo disparity. In particular, the goal is to establish a set of mappings from stereo disparity to corresponding three-dimensional scene ...
Dependency-Directed Localization of Software Bugs
(1989-05-01)
Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest ...
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation
(1989-01-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
Parallel and Deterministic Algorithms for MRFs: Surface Reconstruction and Integration
(1989-05-01)
In recent years many researchers have investigated the use of Markov random fields (MRFs) for computer vision. The computational complexity of the implementation has been a drawback of MRFs. In this paper we derive ...