6040 search results - page 255 / 1208 » Generating Instance Models from Meta Models |
106
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper describes a source modeling method for hidden Markov model (HMM) based speech synthesis for improved naturalness. A speech corpus is rst decomposed into the glottal sou...
104
Voted
WSC
1997
15 years 1 months ago
1997
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
91
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
110
Voted
IIE
2007
15 years 10 days ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
100
click to vote
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...