Publications
-
The deductive composition of astronomical software from subroutine libraries
Automated deduction techniques are being used in a system called Amphion to derive, from graphical specifications, programs composed from a subroutine library. The system has been applied to construct software…
-
TerraVision: A Terrain Visualization System
The system uses a multi-resolution representation of the terrain data divided into equal-sized subimages called tiles.
-
Learning Control Parameters of a Vision Process Using Contextual Information
This paper presents a method for the system itself to learn how to select among its algorithms and to set their parameters, reducing the need for operator expertise while improving…
-
CYPRESS: Planning and Reacting under Uncertainity
-
A Robust Approach to Image Matching: Recovery of the Epipolar Geometry
-
Commentary on Kyburg
A central tenet of the view is that the best theory or rational reconstruction of our mental lives will find a central and ineliminable goal for the attitude of full…
-
Toward Multimodal Support of Interpreted Telephone Dialogues
Irrespective of whether our goal is the eventual automation of interpreted, telephone calls, or simply the support of human interpreters during such calls, our ultimate success would be enhanced by…
-
Context Connectionist Probability Estimation in a Hybrid Hidden Markov Model-Neural Net Speech Recognition Systems
In this paper we present a training method and a network architecture for estimating context-dependent observation probabilities in the framework of a hybrid hidden Markov model (HMM) / multi layer…
-
Robust Recovery of the Epipolar Geometry for an Uncalibrated Stereo Rig
This paper addresses the problem of accurately and automatically recovering the epipolar geometry from an uncalibrated stereo rig and its application to the image matching problem.
-
An optimization framework for efficient self-calibration and motion determination
In this paper, we propose an alternative method to compute at the same time camera calibration and motion, which is robust and efficient.
-
Integrating Planning and Reactive Control
Agents situated in dynamic and unpredictable environments require several capabilities, including synthesizing and executing plans while continuing to be responsive to the world.
-
A stability analysis of the fundamental matrix
The Fundamental matrix is a key concept when working with uncalibrated images and multiple viewpoints. It contains all the available geometric information and enables to recover the epipolar geometry from…