6020 search results - page 1131 / 1204 » A New Approach to Model Counting |
121
click to vote
CPAIOR
2008
Springer
15 years 6 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
119
click to vote
CASCON
1997
15 years 5 months ago
1997
The maintenanceofmaterializedviews in largescale environments composed of numerous heterogeneous information sources ISs , such as the WWW, has importance for the new breed of in...
160
click to vote
AAI
2007
15 years 4 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...
127
click to vote
BIOINFORMATICS
2010
15 years 4 months ago
2010
DNA copy number variants (CNV) are gains and losses of segments of chromosomes, and comprise an important class of genetic variation. Recently, various microarray hybridization ba...
186
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...