Search
Now showing items 31-40 of 76
Self Calibration of Motion and Stereo Vision for Mobile RobotsNavigation
(1987-08-01)
We report on experiments with a mobile robot using one vision process (forward motion vision) to calibrate another (stereo vision) without resorting to any external units of measurement. Both are calibrated to a velocity ...
A Fully Abstract Semantics for Event-Based Simulation
(1987-05-01)
This paper shows that, provided circuits contain no zero-delay loops, a tight relationship, full abstraction, exists between a natural event-based operational semantics for circuits and a natural denotational semantics ...
Massively Parallel Implementations of Theories for Apparent Motion
(1987-06-01)
We investigate two ways of solving the correspondence problem for motion using the assumptions of minimal mapping and rigidity. Massively parallel analog networks are designed to implement these theories. Their ...
Formalizing Reusable Software Components in the Programmer's Apprentice
(1987-02-01)
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1987-11-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 ...
Comparative Analysis
(1987-11-01)
Comparative analysis is the problem of predicting how a system will react to perturbations in its parameters, and why. For example, comparative analysis could be asked to explain why the period of an oscillating ...
Extracting Qualitative Dynamics from Numerical Experiments
(1987-03-01)
The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability ...
Simplified Voronoi Diagrams
(1987-04-01)
The Voronoi diagram has proved to be a useful tool in a variety of contexts in computational geometry. Our interest here is in using the diagram to simplify the planning of collision-free paths for a robot among ...
The Dynamicist's Workbench: I Automatic Preparation of Numerical Experiments
(1987-05-01)
The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical simulations. This part of ...
Shape from Shading, Occlusion and Texture
(1987-05-01)
Shape from Shading, Occlusion and Texture are three important sources of depth information. We review and summarize work done on these modules.