3066 search results - page 511 / 614 » On Facilitating Automated Evaluation |
AUSAI
2001
Springer
13 years 11 months ago
2001
Springer
A central problem in information retrieval is the automated classification of text documents. While many existing methods achieve good levels of performance, they generally require...
NSDI
2007
13 years 10 months ago
2007
Virtualization can provide significant benefits in data centers by enabling virtual machine migration to eliminate hotspots. We present Sandpiper, a system that automates the ta...
USS
2008
13 years 10 months ago
2008
The abuse of chat services by automated programs, known as chat bots, poses a serious threat to Internet users. Chat bots target popular chat networks to distribute spam and malwa...
WSC
2008
13 years 10 months ago
2008
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...
AISC
2008
Springer
13 years 10 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...