2182 search results - page 414 / 437 » A Robust Algorithm for Solving Nonlinear Programming Problem... |
ACMACE
2006
ACM
14 years 1 months ago
2006
ACM
Massively multiplayer online computer games are played in complex, persistent virtual worlds. Over time, the landscape of these worlds evolves and changes as players create and pe...
CP
2004
Springer
14 years 1 months ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Genetic Algorithm (GA) is known as a potent multiobjective optimization method, and the effectiveness of hybridizing it with local search (LS) has recently been reported in the li...
AAAI
2010
13 years 9 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...
SIGOPS
2008
13 years 7 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...