Artificial intelligence publications

In this paper, we propose an alternative method to compute at the same time camera calibration and motion, which is robust and efficient.

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.

A new method is proposed for tuning rules by cases, especially in domains in which precise and exceptionless rules are known to be unavailable.

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.

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…

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 International developed an information extraction system called FASTUS1 , a permuted acronym standing for "Finite State Automata-based Text Understanding System.

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…

This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related…

Book available online

The systems, SOCAP (System for Operations Crisis Action Planning), combines a newly extended version of an AI planning system, SIPE-2, with a color map display and applies this technology to…