8315 search results - page 1446 / 1663 » Performance Evaluation for Global Computation |
164
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
186
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
176
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
150
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a multi-stage ensemble framework, ErrorDriven Generalist+Expert or Edge, for improved classification on large-scale text categorization problems. Edge first trains a ...
170
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Recent advances in linear classification have shown that for applications such as document classification, the training can be extremely efficient. However, most of the existing t...