Sciweavers

1251 search results - page 178 / 251
» Optimizing Compilation of CLP(R)
Sort
View
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
15 years 12 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 11 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 11 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 11 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 11 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