Sciweavers

4854 search results - page 629 / 971
» It's the Programming, Stupid
Sort
View
ROBOCUP
2005
Springer
99views Robotics» more  ROBOCUP 2005»
16 years 7 days 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, ...
RULEML
2005
Springer
16 years 7 days ago
A Realistic Architecture for the Semantic Web
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
Michael Kifer, Jos de Bruijn, Harold Boley, Dieter...
SCALESPACE
2005
Springer
16 years 7 days ago
Relations Between Higher Order TV Regularization and Support Vector Regression
We study the connection between higher order total variation (TV) regularization and support vector regression (SVR) with spline kernels in a one-dimensional discrete setting. We p...
Gabriele Steidl, Stephan Didas, Julia Neumann
SEKE
2005
Springer
16 years 7 days ago
Dynamically Evolvable Composition of Aspects Based On Relation Model
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
Ik-Joo Han, Doo-Hwan Bae
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
16 years 6 days ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl