Artificial intelligence 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…
-
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…
-
A Robust Approach to Image Matching: Recovery of the Epipolar Geometry
-
CYPRESS: Planning and Reacting under Uncertainity
-
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.
-
Representations of Metabolic Knowledge: Pathways
The chief contributions of the paper are a minimized representation for biochemical pathways called the predecessor list, and inference procedures for converting the predecessor list into a pathway-graph representation that…
-
Representing, Analyzing, and Synthesizing Biochemical Pathways
This article describes challenges and opportunities for addressing computational problems in the metabolism with techniques from knowledge representation, planning, integration of heterogeneous databases, qualitative reasoning, knowledge acquisition, and machine learning.
-
Evidential Reasoning and Project Early Warning Systems
PEWS combines a proven project reporting methodology with the latest artificial intelligence techniques such as evidential reasoning. Together, they ensure the successful outcome of large projects.
-
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.