1312 search results - page 3 / 263 » Formally Optimal Boxing |
144
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
In this work we evaluate a Particle Swarm Optimizer hybridized with Differential Evolution and apply it to the BlackBox Optimization Benchmarking for noisy functions (BBOB 2009)....
139
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...
166
click to vote
AAAI
2010
15 years 5 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
180
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
122
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...