1245 search results - page 60 / 249 » Playing with Conway's problem |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
ICAI
2003
13 years 9 months ago
2003
Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—A key parameter affecting the operation of differential evolution (DE) is the crossover rate Cr ∈ [0, 1]. While very low values are recommended for and used with separ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
With this paper we offer a game-theoretic perspective for the all-pervasive matching problem in computer vision. Specifically, we formulate the matching problem as a (population) ...
AISB
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...