5128 search results - page 240 / 1026 » When Abstraction Fails |
178
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Motivated by parallel optimization, we study the SelfAdaptation algorithm for large population sizes. We first show that the current version of this algorithm does not r...
180
click to vote
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
151
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
171
click to vote
ICALP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We study the problem of determining the complexity of optimal comparison-based in-place sorting when the key length, k, is not a constant. We present the first algorithm...
168
click to vote
ISVC
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...