4276 search results - page 45 / 856 » Techniques for Empirical Validation |
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—Tor is a well-known low-latency anonymous communication system that is able to bypass Internet censorship. However, publicly announced Tor routers are being blocked by v...
ICML
2002
IEEE
14 years 8 months ago
2002
IEEE
We empirically evaluate several state-of-theart methods for constructing ensembles of heterogeneous classifiers with stacking and show that they perform (at best) comparably to se...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
TSE
2012
11 years 10 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Validation of multi-column schema matchings is essential for successful database integration. This task is especially difficult when the databases to be integrated contain little o...