Sciweavers

501 search results - page 36 / 101
» Event-Feeded Dimension Solution
Sort
View
GECCO
2009
Springer
170views Optimization» more  GECCO 2009»
15 years 4 months ago
Benchmarking a BI-population CMA-ES on the BBOB-2009 noisy testbed
We benchmark the BI-population CMA-ES on the BBOB2009 noisy functions testbed. BI-population refers to a multistart strategy with equal budgets for two interlaced restart strategi...
Nikolaus Hansen
RSA
2008
63views more  RSA 2008»
14 years 11 months ago
On the size of the algebraic difference of two random Cantor sets
In this paper we consider some families of random Cantor sets on the line and investigate the question whether the condition that the sum of Hausdorff dimension is larger than one ...
Michel Dekking, Károly Simon
AGTIVE
2007
Springer
15 years 6 months ago
Ludo: A Case Study for Graph Transformation Tools
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
Arend Rensink, Alexander Dotor, Claudia Ermel, Ste...
DCOSS
2010
Springer
15 years 3 months ago
Time-Critical Data Delivery in Wireless Sensor Networks
A number of wireless sensor network (WSN) applications demand timely data delivery. However, existing WSNs are designed to conserve energy and not to support timely data transmissi...
Petcharat Suriyachai, James Brown, Utz Roedig
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 3 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute