Sciweavers

9888 search results - page 2 / 1978
» compute 2009
Sort
View
CSE
2010
IEEE
13 years 5 months ago
An Update from VisWeek 2009
Cláudio T. Silva, David S. Ebert, Hanspeter...
TCIAIG
2010
13 years 1 days ago
The 2009 Simulated Car Racing Championship
In this paper, we overview the 2009 Simulated Car Racing Championship--an event comprising three competitions held in association with the 2009 IEEE Congress on Evolutionary Comput...
Daniele Loiacono, Pier Luca Lanzi, Julian Togelius...
CHI
2009
ACM
14 years 5 months ago
The reign of catz & dogz at CHI 2009
tendees. Extended abstracts ranging from three to four pages in length can be submitted on any relevant topic. Papers will be accepted based on the quality of research and potentia...
Shaun Lawson, Thomas Chesney
FMSD
2010
93views more  FMSD 2010»
13 years 3 months ago
2009 CAV award announcement
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, M...
CEC
2010
IEEE
13 years 6 months ago
Applying cooperative coevolution to compete in the 2009 TORCS Endurance World Championship
The TORCS Endurance World Championship is an international competition in which programmers develop and tune their drivers to race against each other using TORCS, a state-of-the-ar...
Luigi Cardamone, Daniele Loiacono, Pier Luca Lanzi