4584 search results - page 788 / 917 » Sequential parameter optimization |
116
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Due to the lot of different Genetic Algorithm variants, encodings, and attacked problems, very little general theory is available to explain the internal functioning of ...
129
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
142
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
134
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
133
click to vote
APGV
2004
ACM
15 years 10 months ago
2004
ACM
The class of all natural images is an extremely small fraction of all possible images. Some of the structure of natural images can be modeled statistically, revealing striking reg...