1256 search results - page 6 / 252 » Experiences with the DEVStone benchmark |
JSAT
2010
13 years 4 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
SPE
1998
13 years 9 months ago
1998
This paper describes some basic experiments to see how fast various popular scripting and user-interface languages run on a spectrum of representative tasks. We found enormous var...
ROBOCUP
2005
Springer
14 years 3 months ago
2005
Springer
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 ...
CADE
2011
Springer
12 years 9 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
CEC
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper we present self-adaptive differential evolution algorithm jDElsgo on large scale global optimization. The experimental results obtained by our algorithm on benchmark ...