1215 search results - page 55 / 243 » A theory of Error-Rate Testing |
BMCBI
2006
13 years 10 months ago
2006
Background: Cross-validation (CV) is an effective method for estimating the prediction error of a classifier. Some recent articles have proposed methods for optimizing classifiers...
UTP
2010
13 years 8 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
ESA
2010
Springer
13 years 11 months ago
2010
Springer
Minor containment is a fundamental problem in Algorithmic Graph Theory, as numerous graph algorithms use it as a subroutine. A model of a graph H in a graph G is a set of disjoint ...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
FATES
2004
Springer
14 years 3 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...