338 search results - page 24 / 68 » Improved Limited Discrepancy Search |
110
click to vote
SAT
2010
Springer
14 years 10 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...
102
click to vote
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
Though children frequently use web search engines to learn, interact, and be entertained, modern web search engines are poorly suited to children's needs, requiring relativel...
119
click to vote
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
Searching for medical information on the Web has become highly popular, but it remains a challenging task because searchers are often uncertain about their exact medical situation...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...
WWW
2005
ACM
16 years 14 days ago
2005
ACM
As the competition of Web search market increases, there is a high demand for personalized Web search to conduct retrieval incorporating Web users' information needs. This pa...