Sciweavers

3233 search results - page 7 / 647
» Validation Method for Intelligent Systems
Sort
View
AUTOMATICA
2008
61views more  AUTOMATICA 2008»
13 years 6 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...
WSC
2007
13 years 9 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
KI
2006
Springer
13 years 6 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
13 years 10 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
FM
2006
Springer
97views Formal Methods» more  FM 2006»
13 years 10 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman