738 search results - page 75 / 148 » Exploiting Locality in Searching the Web |
101
click to vote
SAT
2009
Springer
15 years 6 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
SETN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
129
click to vote
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
15 years 6 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
WEBI
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Thanks to the recent explosive progress of WWW (WorldWide Web), we can easily access a large number of images from WWW. There are, however, no established methods to make...
116
click to vote
ESWS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...