Sciweavers

3233 search results - page 7 / 647
» Validation Method for Intelligent Systems
Sort
View
AUTOMATICA
2008
61views more  AUTOMATICA 2008»
14 years 11 months ago
Validity of the standard cross-correlation test for model structure validation
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
Sippe G. Douma, Xavier Bombois, Paul M. J. Van den...
87
Voted
WSC
2007
15 years 2 months ago
A knowledge-based method for the validation of military simulation
The validation of modern military simulation relies heavily on the opinions of military experts, and it makes the validation task exhaustive and time-consuming. The knowledgebased...
Feiyan Min, Ping Ma, Ming Yang
82
Voted
KI
2006
Springer
14 years 11 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...
EMSOFT
2007
Springer
15 years 3 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
85
Voted
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 3 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman