Sciweavers

870 search results - page 69 / 174
» The MT model transformation language
Sort
View
98
Voted
INTERSPEECH
2010
14 years 7 months ago
Speaker and language adaptive training for HMM-based polyglot speech synthesis
This paper proposes a technique for speaker and language adaptive training for HMM-based polyglot speech synthesis. Language-specific context-dependencies in the system are captur...
Heiga Zen
ICLP
2007
Springer
15 years 6 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
133
Voted
CORR
2010
Springer
132views Education» more  CORR 2010»
14 years 7 months ago
Automated co-evolution of GMF editor models
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
Davide Di Ruscio, Ralf Lämmel, Alfonso Pieran...
89
Voted
TAPSOFT
1991
Springer
15 years 4 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
IFIP
1997
Springer
15 years 4 months ago
Waiting time distributions in a two-queue model with mixed exhaustive and gated-type K-limited services
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
Toshihisa Ozawa