738 search results - page 27 / 148 » Exploiting Locality in Searching the Web |
144
Voted
FROCOS
2011
Springer
14 years 4 days ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
103
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
117
Voted
SAT
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
111
Voted
WEBDB
2007
Springer
15 years 6 months ago
2007
Springer
Search engine quality is impacted by two factors: the quality of the ranking/matching algorithm used and the freshness of the search engine’s index, which maintains a “snapsho...
132
click to vote
SEMWEB
2011
Springer
14 years 3 months ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...