3758 search results - page 548 / 752 » A Complete Subsumption Algorithm |
157
click to vote
SAT
2009
Springer
16 years 19 days 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,...
177
Voted
SAT
2009
Springer
16 years 19 days 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...
149
click to vote
SEMWEB
2009
Springer
16 years 19 days 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...
164
click to vote
SEMWEB
2009
Springer
16 years 19 days 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...
149
click to vote
SEMWEB
2009
Springer
16 years 19 days 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...