1613 search results - page 272 / 323 » Model-Driven Constraint Engineering |
88
Voted
LREC
2010
15 years 4 months ago
2010
This paper describes our work on developing corpora of three varieties of Viennese for unit selection speech synthesis. The synthetic voices for Viennese varieties, implemented wi...
131
Voted
GRAPHICSINTERFACE
2007
15 years 4 months ago
2007
We present a novel least scaling distortion metric to measure the deformation distortion for tetrahedral meshes. The stretch-like metric is a combination of Jacobian matrix norm a...
115
click to vote
GRAPHICSINTERFACE
2007
15 years 4 months ago
2007
Material limitations and fabrication costs generally run at odds with the creativity of architectural design, producing a wealth of challenging computational geometry problems. We...
135
click to vote
IPCO
2008
15 years 4 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
155
click to vote
PTS
2008
15 years 4 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...