3480 search results - page 232 / 696 » A New Era of Performance Evaluation |
ENTCS
2010
15 years 2 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
IJAR
2008
15 years 1 months ago
2008
Using Shafer and Vovk's game-theoretic framework for probability, we derive a capital asset pricing model from an efficient market hypothesis, with no assumptions about the b...
112
click to vote
JIPS
2008
15 years 1 months ago
2008
: This paper deals with the geometric fitting algorithms for parametric curves and surfaces in 2-D/3-D space, which estimate the curve/surface parameters by minimizing the square s...
108
click to vote
MCS
2002
Springer
15 years 1 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...
145
click to vote
NOMS
2010
IEEE
15 years 11 days ago
2010
IEEE
—We present WiMFlow, a dynamic and self-organized flow monitoring framework in Wireless Mesh Networks. The protocol allows for an autonomic organization of the probes, with the ...