8828 search results - page 1263 / 1766 » Formal methods in practice |
180
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
201
click to vote
GCB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
203
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Markov Random Field (MRF) models with potentials learned from the data have recently received attention for learning the low-level structure of natural images. A MRF provides a pri...
214
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
185
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...