3885 search results - page 199 / 777 » Transformations for Write-All-with-Collision Model |
126
Voted
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
138
click to vote
ASPDAC
2010
ACM
15 years 3 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
144
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a non-parallel training algorithm for voice conversion based on feature transform Gaussian mixture model (FTGMM), which is a mixture model of joint density spa...
164
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
149
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a new approach for singer melody extraction, based on blind source separation techniques. The short time Fourier transform (STFT) of the singer signal is modelled by a ...