6020 search results - page 7 / 1204 » A New Approach to Model Counting |
118
Voted
DAMON
2009
Springer
15 years 6 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
110
Voted
AAAI
2008
15 years 1 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
ACL
2008
15 years 1 months ago
2008
Frequency counts from very large corpora, such as the Web 1T dataset, have recently become available for language modeling. Omission of low frequency n-gram counts is a practical ...
112
click to vote
SAT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
SSPR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a new approach aimed at solving the problem of image retrieval from text queries. We propose to estimate the word relevance of an image using a...