The Vincennes Competitions

COMPETITIONS Robot Competitions : What Did We Learn ?

The Diagnostic Competitions

in it no longer achieving the functionality for which it was originally intended. Diagnostic algorithms (DAs) (1) detect malfunctioning systems, (2) isolate the faulty component or components that cause the malfunction, and possibly (3) repair the system to restore its functionality. The fundamental challenge of diagnosis is that the system is only partially observable. Therefore, diagnostic al...

The Reinforcement Learning Competitions

Events such as RoboCup, the Netflix Prize, the Trading Agent Competition, the International Planning Competition, the General Game Playing Competition, the AAAI Computer Poker Competition, and the DARPA Grand Challenge have succeeded in raising awareness and stimulating research about their respective topics. The empirical, problem-oriented nature of these competitions can be an important count...

The International SAT Solver Competitions

is satisfiable is one of the most fundamental problems in computer science, known as the canonical NP-complete Boolean satisfiability (SAT) problem (Biere et al. 2009). In addition to its theoretical importance, major advances in the development of robust implementations of decision procedures for SAT, SAT solvers, have established SAT as an important declarative approach for attacking various ...

Efficiency of competitions.

League competition is investigated using random processes and scaling techniques. In our model, a weak team can upset a strong team with a fixed probability. Teams play an equal number of head-to-head matches and the team with the largest number of wins is declared to be the champion. The total number of games needed for the best team to win the championship with high certainty T grows as the c...