220 search results - page 14 / 44 » Estimating functional coverage in bounded model checking |
101
click to vote
UAI
2008
15 years 14 days ago
2008
Confidence measures for the generalization error are crucial when small training samples are used to construct classifiers. A common approach is to estimate the generalization err...
115
click to vote
ICIC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We consider the problem of decision-making with side information and unbounded loss functions. Inspired by probably approximately correct learning model, we use a slightly differe...
WSC
2004
15 years 12 days ago
2004
Confidence intervals for the median of estimators or other quantiles were proposed as a substitute for usual confidence intervals in terminating and steady-state simulation. This ...
MICAI
2005
Springer
15 years 4 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...