6020 search results - page 454 / 1204 » A New Approach to Model Counting |
200
click to vote
ENTCS
2007
15 years 7 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
206
click to vote
JIB
2007
15 years 6 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
208
click to vote
JMLR
2012
13 years 9 months ago
2012
One approach to modeling structured discrete data is to describe the probability of states via an energy function and Gibbs distribution. A recurring difficulty in these models is...
160
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Large-scale process fluctuations in nano-scale IC technologies suggest applying high-order (e.g., quadratic) response surface models to capture the circuit performance variations....
181
click to vote
DSSCV
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We present a novel approach to statistically characterize histograms of model-relative image regions. A multiscale model is used as an aperture to define image regions a...