5030 search results - page 129 / 1006 » cases 2007 |
120
click to vote
SE
2007
15 years 6 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
110
click to vote
NIPS
2004
15 years 6 months ago
2004
We propose a family of kernels based on the Binet-Cauchy theorem and its extension to Fredholm operators. This includes as special cases all currently known kernels derived from t...
135
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for margin based active learning of linear separators. We instantiate it for a few important cases, some of which have been previously considered in the lite...
139
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
123
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...