1096 search results - page 130 / 220 » Using Prior Knowledge: Problems and Solutions |
116
Voted
CP
2000
Springer
15 years 7 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
102
Voted
IJCAI
2001
15 years 4 months ago
2001
The algorithm presented here, BCC, is an enhancement of the well known Backtrack used to solve constraint satisfaction problems. Though most backtrack improvements rely on propaga...
118
Voted
ALT
2008
Springer
16 years 14 days ago
2008
Springer
In this paper we consider the problem of actively learning the mean values of distributions associated with a finite number of options (arms). The algorithms can select which opti...
91
Voted
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Many intellectual property protection (IPP) techniques have been proposed. Their primary objectives are providing convincible proof of authorship with least degradation of the qua...
147
Voted
IPCO
2007
15 years 5 months ago
2007
Following the well-studied two-stage optimization framework for stochastic optimization [15, 18], we study approximation algorithms for robust two-stage optimization problems with ...