Sciweavers

3333 search results - page 343 / 667
» Abstract Proof Search
Sort
View
CBSE
2005
Springer
16 years 6 days ago
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
Abstract. Searching and subsequently selecting reusable components from component repositories has become a key impediment for not only component-based development but also for ach...
Naiyana Tansalarak, Kajal T. Claypool
ECAL
2005
Springer
16 years 6 days ago
Biological Development of Cell Patterns: Characterizing the Space of Cell Chemistry Genetic Regulatory Networks
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
Nicholas S. Flann, Jing Hu, Mayank Bansal, Vinay P...
EMO
2005
Springer
120views Optimization» more  EMO 2005»
16 years 6 days ago
Multiobjective Optimization on a Budget of 250 Evaluations
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...
Joshua D. Knowles, Evan J. Hughes
ICANN
2005
Springer
16 years 5 days ago
Varying the Population Size of Artificial Foraging Swarms on Time Varying Landscapes
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
Carlos Fernandes, Vitorino Ramos, Agostinho C. Ros...
LCPC
2005
Springer
16 years 5 days ago
A Language for the Compact Representation of Multiple Program Versions
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...
Sébastien Donadio, James C. Brodman, Thomas...