Artificial intelligence publications
-
On the direct determination of epipoles: a case study in algebraic methods for geometric problems
Studies experimentally the problem of computing the position of the epipoles in a pair of uncalibrated images; three families of methods are successively considered.
-
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.
-
SRI: Description of the JV-FASTUS System Used for MUC-5
SRI International developed an information extraction system called FASTUS1 , a permuted acronym standing for "Finite State Automata-based Text Understanding System.
-
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we…
-
A New Striatal Model and its Relationship to Basal Ganglia Diseases
A new model of the striatum has recently been proposed. This model suggests that the somatotopic regions of the striatum correspond to state spaces governing various aspects of organism behavior
-
Representations of Metabolic Knowledge
We survey representations used for several metabolic databases, including EcoCyc, and reach the following conclusions..
-
A Model for the Functioning of the Striatum
A model is presented for the operation of the striatum. The model posits that the basal ganglia are responsible for driving smooth transitions of state for an organism.
-
Color in computer vision
The use of color in computer vision has received growing attention. This chapter gives the state-of-the-art in this subfield, and tries to answer the questions: What is color? Which are the…