1465 search results - page 170 / 293 » Making the Correct Mistakes |
177
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
170
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
174
click to vote
MCS
2004
Springer
15 years 11 months ago
2004
Springer
The ECOC framework provides a powerful and popular method for solving multiclass problems using a multitude of binary classifiers. We had recently introduced the Binary Hierarchica...
171
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
155
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...