2539 search results - page 466 / 508 » Debugging Method Names |
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
MLDM
2007
Springer
15 years 3 months ago
2007
Springer
Transduction is an inference mechanism “from particular to particular”. Its application to classification tasks implies the use of both labeled (training) data and unlabeled (...
SAT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...