35416 search results - page 467 / 7084 » Evaluation |
174
click to vote
IWCIA
2004
Springer
16 years 7 days ago
2004
Springer
The paper compares six conventional binarization methods for the special purpose of subsequent analysis of scanned insect footprints. We introduce a new performance criterion for p...
178
click to vote
LPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
169
click to vote
PEPM
2004
ACM
16 years 7 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
178
click to vote
PPSN
2004
Springer
16 years 7 days ago
2004
Springer
In empirical studies of Evolutionary Algorithms, it is usually desirable to evaluate and compare algorithms using as many different parameter settings and test problems as possible...
180
click to vote
WCW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We consider the problem of delivering real-time, near realtime and stored streaming media to a large number of asynchronous clients. This problem has been studied in the ...