4276 search results - page 47 / 856 » Techniques for Empirical Validation |
STVR
2002
13 years 7 months ago
2002
Test-suite reduction techniques attempt to reduce the costs of saving and reusing test cases during software maintenance by eliminating redundant test cases from test suites. A po...
UAI
2007
13 years 9 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
Validated continuation was introduced in [4] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally unique equili...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
In this paper, we present an evaluation of seven automatic brain tissue classifiers based on level of agreements. A number of agreement measures are explained, and we show how they...
IMC
2005
ACM
14 years 1 months ago
2005
ACM
In some contexts it may be useful to predict the latency for short TCP transfers. For example, a Web server could automatically tailor its content depending on the network path to...