Sciweavers

1251 search results - page 178 / 251
» Optimizing Compilation of CLP(R)
Sort
View
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
15 years 3 months ago
Evolving an ecology of two-tiered organizations
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
Travis Kriplean
ISMIR
2005
Springer
141views Music» more  ISMIR 2005»
15 years 3 months ago
Rhythm-Based Segmentation of Popular Chinese Music
We present a new method to segment popular music based on rhythm. By computing a shortest path based on the self-similarity matrix calculated from a model of rhythm, segmenting bo...
Kristoffer Jensen, Jieping Xu, Martin Zachariasen
UML
2005
Springer
15 years 3 months ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev
WORDS
2003
IEEE
15 years 3 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
CP
2003
Springer
15 years 3 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey