2393 search results - page 110 / 479 » Bounds-Consistent Local Search |
104
click to vote
AAAI
2006
15 years 2 months ago
2006
The scalability of graph-search algorithms can be greatly extended by using external memory, such as disk, to store generated nodes. We consider structured duplicate detection, an...
79
Voted
CONSTRAINTS
2007
15 years 21 days ago
2007
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
137
click to vote
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
Mobile phones are becoming increasingly sophisticated with a rich set of on-board sensors and ubiquitous wireless connectivity. However, the ability to fully exploit the sensing c...
139
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
JETAI
2008
15 years 21 days ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...