Sciweavers

3787 search results - page 715 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
CIKM
2003
Springer
14 years 26 days ago
Automated index management for distributed web search
Distributed heterogeneous search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers d...
Rinat Khoussainov, Nicholas Kushmerick
CP
2009
Springer
14 years 8 months ago
On the Power of Clause-Learning SAT Solvers with Restarts
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
Knot Pipatsrisawat, Adnan Darwiche
SEMWEB
2007
Springer
14 years 1 months ago
The PRIOR+: Results for OAEI Campaign 2007
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
Ming Mao, Yefei Peng
CIG
2006
IEEE
14 years 1 months ago
Modeling Children's Entertainment in the Playware Playground
Abstract— This paper introduces quantitative measurements/metrics of qualitative entertainment features within interactive playgrounds inspired by computer games and proposes art...
Georgios N. Yannakakis, Henrik Hautop Lund, John H...
ICCBR
2003
Springer
14 years 26 days ago
Case Base Management for Analog Circuits Diagnosis Improvement
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
Carles Pous, Joan Colomer, Joaquím Mel&eacu...