4266 search results - page 104 / 854 » Search for More Declarativity |
102
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
141
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
Efficient user-adaptable similarity search more and more increases in its importance for multimedia and spatial database systems. As a general similarity model for multi-dimension...
155
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
136
click to vote
EOR
2008
15 years 4 months ago
2008
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...
128
click to vote
GI
2010
Springer
2010
Springer
Estimating the Relevance of Search Results in the Culture-Web: A Study of Semantic Distance Measures
15 years 2 months ago
Abstract: More and more cultural heritage institutions publish their collections, vocabularies and metadata on the Web. The resulting Web of linked cultural data opens up exciting ...