Sciweavers

10715 search results - page 329 / 2143
» Proofs from Tests
Sort
View
WOB
2008
128views Bioinformatics» more  WOB 2008»
15 years 8 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
Ximing Xu, David Sankoff
IAAI
1993
15 years 8 months ago
Dodger, a Diagnostic Expert System for the Evaluation of Nondestructive Test Data
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...
Arthur J. Levy, Jane E. Oppenlander, David M. Brud...
166
Voted
JUCS
2008
132views more  JUCS 2008»
15 years 6 months ago
Testing Website Usability in Spanish-Speaking Academia through Heuristic Evaluation and Cognitive Walkthroughs
: Although usability evaluations have been focused on assessing different contexts of use, no proper specifications have been addressed towards the particular environment of academ...
María Paula González, Toni Granoller...
ENVSOFT
2007
80views more  ENVSOFT 2007»
15 years 6 months ago
Testing the PEARL model in the Netherlands and Sweden
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
Fayçal Bouraoui
STTT
2008
124views more  STTT 2008»
15 years 6 months ago
Protos2CPN: using colored Petri nets for configuring and testing business processes
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
Florian Gottschalk, Wil M. P. van der Aalst, Moniq...