21183 search results - page 454 / 4237 » Adaptive Testing by Test |
143
Voted
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
A low-cost on-line test scheme for digital filters is proposed. The scheme uses an invariant of the digital filter, the frequency response at specific points, in order to detect p...
207
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
170
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
160
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
151
click to vote
ESANN
2008
15 years 8 months ago
2008
In this paper a novel procedure to select the input nodes in neural network modeling is presented and discussed. The approach is developed in a multiple testing framework and so it...