6014 search results - page 229 / 1203 » Structural Testing with Use Cases |
149
click to vote
WSC
2004
15 years 5 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
ENVSOFT
2007
15 years 4 months ago
2007
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...
161
click to vote
DIS
2008
Springer
15 years 6 months ago
2008
Springer
We propose a well-founded method of ranking a pool of m trained classifiers by their suitability for the current input of n instances. It can be used when dynamically selecting a s...
179
click to vote
LICS
1995
IEEE
15 years 7 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
117
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...