4584 search results - page 788 / 917 » Sequential parameter optimization |
145
Voted
IWINAC
2005
Springer
16 years 8 days 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 ...
170
click to vote
LCPC
2005
Springer
16 years 7 days 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...
177
click to vote
OTM
2005
Springer
16 years 7 days 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...
170
click to vote
TACAS
2005
Springer
16 years 7 days 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...
173
click to vote
APGV
2004
ACM
16 years 6 days 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...