4270 search results - page 174 / 854 » A Permutation Approach to Validation |
110
click to vote
AIMS
2007
Springer
15 years 11 months ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
124
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
141
Voted
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
130
Voted
BIOINFORMATICS
2005
15 years 4 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
135
Voted
MCS
2002
Springer
15 years 4 months ago
2002
Springer
We empirically evaluate several state-of-the-art methods for constructing ensembles of classifiers with stacking and show that they perform (at best) comparably to selecting the be...