6020 search results - page 3 / 1204 » A New Approach to Model Counting |
CORR
2012
Springer
13 years 5 months ago
2012
Springer
Graphs and networks are used to model interactions in a variety of contexts, and there is a growing need to be able to quickly assess the qualities of a graph in order to understa...
75
Voted
SPIRE
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A set of sequences S is pairwise bounded if the Hamming distance between any pair of sequences in S is at most 2d. The Consensus Sequence problem aims to discern between ...
BMCBI
2010
14 years 9 months ago
2010
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...
102
click to vote
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we develop a new approach of analyzing 3D shapes based on the eigen-system of the Laplace-Beltrami operator. While the eigenvalues of the Laplace-Beltrami operator h...
JAIR
2011
14 years 4 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...