6020 search results - page 8 / 1204 » A New Approach to Model Counting |
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...
85
Voted
ALIFE
2006
14 years 11 months ago
2006
This paper investigates the evolution of autonomous agents that solve a memorydependent counting task. Two types of neurocontrollers are evolved: networks of McCulloch-Pitts neuro...
115
click to vote
CP
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we describe a new algorithm for sampling solutions from a uniform distribution over the solutions of a constraint network. Our new algorithm improves upon the Sampli...
114
Voted
CORR
2012
Springer
13 years 7 months ago
2012
Springer
Models of bags of words typically assume topic mixing so that the words in a single bag come from a limited number of topics. We show here that many sets of bag of words exhibit a...
137
Voted
STOC
1991
ACM
15 years 3 months ago
1991
ACM
d Abstract) James Aspnes Maurice Herlihyy Nir Shavitz Digital Equipment Corporation Cambridge Research Lab CRL 90/11 September 18, 1991 Many fundamental multi-processor coordinati...