3885 search results - page 441 / 777 » Transformations for Write-All-with-Collision Model |
197
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
164
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...
167
click to vote
IJKESDP
2010
15 years 5 months ago
2010
— In this paper, several portfolio selection problems with normal mixture distributions including fuzziness are proposed. Until now, many researchers have proposed portfolio mode...
182
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Integration of data from multiple sources makes it possible to build effective systems management solutions. Despite the expected benefits, data integration remains a challenge....
200
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...