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…
-
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…
-
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…
-
TerraVision: A Terrain Visualization System
The system uses a multi-resolution representation of the terrain data divided into equal-sized subimages called tiles.
-
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…
-
The Role of Voice in Human-Machine Communication
This chapter reviews application areas in which spoken interaction may play a significant role, assesses potential benefits of spoken interaction with machines, and attempts to compare voice with alternative and…
-
Canonic representations for the geometries of multiple projective views
We show how a special decomposition of general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which are invariant with respect to a given group…
-
Greedy Attribute Selection
We examine five greedy hillclimbing procedures that search for attribute sets that generalize well with ID3/C4.5. Experiments suggest hillclimbing in attribute space can yield substantial improvements in generalization performance.
-
Hybrid Reasoning using Universal Attachment
Universal attachment is a domain-independent mechanism for integrating diverse representation and reasoning methods into hybrid frameworks that contain a subsystem based on deduction over logical formulas.