Sciweavers

4457 search results - page 806 / 892
» Tests of Machine Intelligence
Sort
View
IJCAI
2007
15 years 4 months ago
Sharing the Road: Autonomous Vehicles Meet Human Drivers
In modern urban settings, automobile traffic and collisions lead to endless frustration as well as significant loss of life, property, and productivity. Recent advances in arti...
Kurt M. Dresner, Peter Stone
ISSA
2004
15 years 4 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
IJCAI
2001
15 years 4 months ago
Weakening Conflicting Information for Iterated Revision and Knowledge Integration
The ability to handle exceptions, to perform iterated belief revision and to integrate information from multiple sources are essential skills for an intelligent agent. These impor...
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Ma...
IJCAI
2001
15 years 4 months ago
Backjumping for Quantified Boolean Logic Satisfiability
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
CLEF
2009
Springer
15 years 4 months ago
A Trainable Multi-factored QA System
This paper reports on the construction and testing of a new Question Answering (QA) system, implemented as an workflow which builds on several web services developed at the Resear...
Radu Ion, Dan Stefanescu, Alexandru Ceausu, Dan Tu...