Sciweavers

932 search results - page 32 / 187
» Analysis and Optimization of CHR Programs
Sort
View
97
Voted
ICCL
1998
IEEE
15 years 2 months ago
Loop Optimization for Aggregate Array Computations
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
Yanhong A. Liu, Scott D. Stoller
77
Voted
GECCO
2008
Springer
192views Optimization» more  GECCO 2008»
14 years 11 months ago
Non-linear factor model for asset selection using multi objective genetic programming
Investors vary with respect to their expected return and aversion to associated risk, and hence also vary in their performance expectations of the stock market portfolios they hol...
Ghada Hassan
88
Voted
LSSC
2007
Springer
15 years 4 months ago
Optimization Based Stabilization of Nonlinear Control Systems
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
Lars Grüne
82
Voted
GECCO
2004
Springer
151views Optimization» more  GECCO 2004»
15 years 3 months ago
Discovery of Human-Competitive Image Texture Feature Extraction Programs Using Genetic Programming
In this paper we show how genetic programming can be used to discover useful texture feature extraction algorithms. Grey level histograms of different textures are used as inputs ...
Brian T. Lam, Victor Ciesielski
PEPM
1993
ACM
15 years 2 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange