Sciweavers

870 search results - page 69 / 174
» The MT model transformation language
Sort
View
INTERSPEECH
2010
15 years 1 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
16 years 10 days 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...
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 20 days 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...
TAPSOFT
1991
Springer
15 years 9 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 9 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