209 search results - page 2 / 42 » Local Search for Statistical Counting |
CP
2005
Springer
13 years 11 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
STACS
2004
Springer
13 years 11 months ago
2004
Springer
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
ICIP
1997
IEEE
14 years 7 months ago
1997
IEEE
This paper describes a new technique for statistical 3{D object localization. Local feature vectors are extracted for all image positions, in contrast to segmentation in classical...
CP
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
IJCAI
2007
13 years 7 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...