6036 search results - page 117 / 1208 » Web search solved |
117
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
People are thirsty for medical information. Existing Web search engines often cannot handle medical search well because they do not consider its special requirements. Often a medi...
82
Voted
SAT
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...
80
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
110
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
126
Voted
AMAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...