3758 search results - page 548 / 752 » A Complete Subsumption Algorithm |
117
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
138
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representatio...
114
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
State-of-the-art discovery of Semantic Web services is based on hybrid algorithms that combine semantic and syntactic matchmaking. These approaches are purely based on similarity m...
109
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...