2233 search results - page 225 / 447 » On the Complexity of Theory Curbing |
178
click to vote
WIA
2009
Springer
16 years 1 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
130
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
158
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
142
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
194
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...