Search
Now showing items 21-30 of 86
Syntactic Closures
(1988-06-01)
In this paper we describe {\\it syntactic closures}. Syntactic closures address the scoping problems that arise when writing macros. We discuss some issues raised by introducing syntactic closures into the macro ...
Model-Based Reasoning: Troubleshooting
(1988-07-01)
To determine why something has stopped working, it is useful to know how it was supposed to work in the first place. That simple observation underlies some of the considerable interest generated in recent years on the topic ...
Analysis of Differential and Matching Methods for Optical Flow
(1988-08-01)
Several algorithms for optical flow are studied theoretically and experimentally. Differential and matching methods are examined; these two methods have differing domains of application- differential methods are best ...
Demystifying Quantum Mechanics: A Simple Universe with Quantum Uncertainty
(1988-12-01)
An artificial universe is defined that has entirely deterministic laws with exclusively local interactions, and that exhibits the fundamental quantum uncertainty phenomenon: superposed states mutually interfere, but ...
Herbert: A Second Generation Mobile Robot
(1988-01-01)
In mobile robot research we believe the structure of the platform, its capabilities, the choice of sensors, their capabilities, and the choice of processors, both onboard and offboard, greatly constrains the direction of ...
The Combinatorics of Object Recognition in Cluttered Environments Using Constrained Search
(1988-02-01)
When clustering techniques such as the Hough transform are used to isolate likely subspaces of the search space, empirical performance in cluttered scenes improves considerably. In this paper we establish formal bounds ...
Structural Saliency: The Detection of Globally Salient Structures Using a Locally Connected Network
(1988-07-01)
Certain salient structures in images attract our immediate attention without requiring a systematic scan. We present a method for computing saliency by a simple iterative scheme, using a uniform network of locally ...
Pattern-Directed Invocation with Changing Equations
(1988-05-01)
The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its pattern exactly matches ...
The Alignment of Objects with Smooth Surfaces
(1988-07-01)
This paper examines the recognition of rigid objects bounded by smooth surfaces using an alignment approach. The projected image of such an object changes during rotation in a manner that is difficult to predict. A ...
Multisensor Modeling Underwater with Uncertain Information
(1988-07-01)
This thesis develops an approach to the construction of multidimensional stochastic models for intelligent systems exploring an underwater environment. It describes methods for building models by a three- dimensional ...