6434 search results - page 953 / 1287 » Model Transformations with Reference Models |
141
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
117
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
143
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
151
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
An auditory-based feature extraction algorithm is presented. The feature is based on a recently published time-frequency transform plus a set of modules to simulate the signal pro...
126
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel algorithm for sparse system identification in the frequency domain. Key to our result is the observation that the Fourier transform of the sparse impulse respo...