932 search results - page 32 / 187 » Analysis and Optimization of CHR Programs |
ICCL
1998
IEEE
14 years 27 days ago
1998
IEEE
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...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
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...
LSSC
2007
Springer
14 years 2 months ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
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 ...
PEPM
1993
ACM
14 years 22 days ago
1993
ACM
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...