220 search results - page 20 / 44 » Estimating functional coverage in bounded model checking |
99
Voted
FS
2010
15 years 2 months ago
2010
Abstract Consider discrete time observations (X δ)1≤ ≤n+1 of the process X satisfying dXt = √ VtdBt, with Vt a one-dimensional positive diffusion process independent of the...
158
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
110
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
149
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In order to work well, many computer vision algorithms require that their parameters be adjusted according to the image noise level, making it an important quantity to estimate. W...
130
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
Several recent studies have shown that fluorescent particles can be localized with an accuracy that is well beyond traditional resolution limits. Using a theoretical model of the...