3820 search results - page 24 / 764 » Bounded Model Debugging |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
TSP
2008
13 years 7 months ago
2008
Abstract--This paper reports an upper bound for the Kullback
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
We propose a formulation of the Decision Tree learning algorithm in the Compression settings and derive tight generalization error bounds. In particular, we propose Sample Compres...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...