932 search results - page 64 / 187 » Analysis and Optimization of CHR Programs |
LCPC
2001
Springer
14 years 1 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
WIAMIS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...
KBSE
1997
IEEE
14 years 28 days ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...