6020 search results - page 551 / 1204 » A New Approach to Model Counting |
177
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
228
click to vote
JMLR
2012
13 years 9 months ago
2012
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
208
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
198
click to vote
BMCBI
2006
15 years 7 months ago
2006
We investigate the application of hierarchical classification schemes to the annotation of gene function based on several characteristics of protein sequences including phylogenic ...
166
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: There has been recent concern regarding the inability of predictive modeling approaches to generalize to new data. Some of the problems can be attributed to improper m...