Sciweavers

1890 search results - page 114 / 378
» Model-Based Testing in Practice
Sort
View
ICDAR
1999
IEEE
15 years 10 months ago
On the Evaluation of Document Analysis Components by Recall, Precision, and Accuracy
In document analysis, it is common to prove the usefulness of a component by an experimental evaluation. By applying the respective algorithms to a test sample, some effectiveness...
Markus Junker, Andreas Dengel, Rainer Hoch
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
FLAIRS
2006
15 years 7 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
ISIWI
2000
15 years 7 months ago
Usability Engineering Methods for the Web: Results From a Usability Study
The paper presents the results of a study on usability methods for evaluating Web sites. lt summarizes the "Heuristics for Web Communications," and reports the practical...
Ilse Maria Harms, Werner Schweibenz
CCE
2004
15 years 6 months ago
Balanced random interval arithmetic
The results of experimental testing of balanced random interval arithmetic with typical mathematical test functions and practical problem are presented and discussed. The possibili...
Julius Zilinskas, Ian David Lockhart Bogle