5525 search results - page 878 / 1105 » Verification of Model Transformations |
116
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...
141
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...
150
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...
123
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...
106
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...