204 search results - page 3 / 41 » Validity of the standard cross-correlation test for model st... |
AH
2008
Springer
14 years 28 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
DAC
2007
ACM
13 years 10 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
ENTCS
2002
13 years 6 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
MICCAI
2001
Springer
13 years 11 months ago
2001
Springer
Extracting 3D structures from volumetric images like MRI or CT is becoming a routine process for diagnosis based on quantitation, for radiotherapy planning, for surgical planning a...