3921 search results - page 451 / 785 » Transforming Models with ATL |
159
Voted
NN
1998
Springer
15 years 6 months ago
1998
Springer
The cusp bifurcation provides one of the simplest routes leading to bistability and hysteresis in neuron dynamics. We show that weakly connected networks of neurons near cusp bifu...
199
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...
168
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...
185
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....