10715 search results - page 219 / 2143 » Proofs from Tests |
118
click to vote
TSD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes the design of the first large-scale IR test collection built for the Czech language. The creation of this collection also happens to be very challen...
108
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
108
click to vote
VTS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of compacting test responses in the presence of unknowns at the input of the compactor by exploiting the capabilities of well-known error detectio...
130
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
104
click to vote
PAMI
1998
15 years 3 months ago
1998
—We address the problem of determining what size test set guarantees statistically significant results in a character recognition task, as a function of the expected error rate. ...