Publications
-
Industrial Project Monitoring with Evidential Reasoning
The system identifies problems and developments that might lead to deviations from planned project outcomes and does so at such an early stage that effective corrective action can still be…
-
Experience with a Learning Personal Assistant
Personal software assistants that help users with tasks like finding information, scheduling calendars, or managing workflow will require significant customization.
-
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…
-
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…
-
CYPRESS: Planning and Reacting under Uncertainity
-
A Robust Approach to Image Matching: Recovery of the Epipolar Geometry
-
Self-calibration of an uncalibrated stereo rig from one unknown motion
We address in this paper the problem of self-calibration and metric reconstruction (up to a scale) from one unknown motion of an uncalibrated stereo rig.
-
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.