Sciweavers

2052 search results - page 107 / 411
» Direct Combination
Sort
View
103
Voted
ROBOCUP
2005
Springer
99views Robotics» more  ROBOCUP 2005»
15 years 9 months ago
Keepaway Soccer: From Machine Learning Testbed to Benchmark
Keepaway soccer has been previously put forth as a testbed for machine learning. Although multiple researchers have used it successfully for machine learning experiments, doing so ...
Peter Stone, Gregory Kuhlmann, Matthew E. Taylor, ...
137
Voted
CGO
2010
IEEE
15 years 10 months ago
Automatic creation of tile size selection models
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
Tomofumi Yuki, Lakshminarayanan Renganarayanan, Sa...
MIR
2010
ACM
167views Multimedia» more  MIR 2010»
15 years 10 months ago
Improving automatic music classification performance by extracting features from different types of data
This paper discusses two sets of automatic musical genre classification experiments. Promising research directions are then proposed based on the results of these experiments. The...
Cory McKay, Ichiro Fujinaga
150
Voted
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 8 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
136
Voted
CSL
2010
Springer
15 years 4 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel