Artificial intelligence publications

Studies experimentally the problem of computing the position of the epipoles in a pair of uncalibrated images; three families of methods are successively considered.

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.

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.

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.

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…