Publications
-
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.
-
Computing motion and structure in image sequences without calibration
This paper proposes an algebraic method to generalize the usual equations of structure from motion, when calibration is not available.
-
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…
-
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.
-
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.
-
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.
-
Tuning rules by cases
A new method is proposed for tuning rules by cases, especially in domains in which precise and exceptionless rules are known to be unavailable.
-
Executions, Motivations, and Accomplishments
Brutus wanted to kill Caesar. He believed that Caesar was an ordinary mortal, and that, given this, stabbing him was a way of killing him.
-
Review of Language in Action: Categories, Lambdas, and Dynamic Logic, by J. van Benthem
For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we…
-
FASTUS: A Finite-State Processor for Information Extraction from Real-World Text
The GeoVRML working group of the Web3D Consortium recently announced an extension to the ISO standard Virtual Reality Modeling Language (VRML) to enable just these capabilities.
-
Building and Using Scene Repesentations In Image Understanding
The analysis side is the processing of sensory data for such tasks as recognition and navigation, and a number of techniques are discussed here for dealing with these two-, three-,…