4208 search results - page 41 / 842 » Better Selection of the Best |
SIGIR
2006
ACM
14 years 5 months ago
2006
ACM
We show that a set of independently developed spam filters may be combined in simple ways to provide substantially better filtering than any of the individual filters. The resu...
SIAMCOMP
2008
13 years 11 months ago
2008
We give a 7.18-approximation algorithm for the minimum latency problem that uses only O(n log n) calls to the prize-collecting Steiner tree (PCST) subroutine of Goemans and Willia...
CADE
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
KDD
2010
ACM
14 years 2 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
SIGCOMM
2004
ACM
14 years 4 months ago
2004
ACM
Network operators need to determine the composition of the traffic mix on links when looking for dominant applications, users, or estimating traffic matrices. Cisco’s NetFlow ha...