Distributed heterogeneous search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers d...
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 ...
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...
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...
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...