Sciweavers

894 search results - page 75 / 179
» Optimizations for LTL Synthesis
Sort
View
110
Voted
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
15 years 16 days ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge
VC
2008
143views more  VC 2008»
15 years 16 days ago
Example-driven animation synthesis
We introduce an easy and intuitive approach to create animations by assembling existing animations. Using our system, the user needs only to simply scribble regions of interest and...
Yu-Shuen Wang, Tong-Yee Lee
ICASSP
2011
IEEE
14 years 4 months ago
Preserve ordering property of generated LSPS for minimum generation error training in HMM-based speech synthesis
Ordering property is an important property of LSP and closely connected with the naturalness of reconstructed speech. When LSP is adopted as spectrum feature in HMM-based parametr...
Ming Lei, Zhen-Hua Ling, Li-Rong Dai
95
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Prosodic control of unit-selection speech synthesis: A probabilistic approach
One problem in concatenative speech synthesis is how to incorporate prosodic factors in the unit selection. Imposing a predicted prosodic target is error-prone and does not benefi...
Christophe Veaux, Xavier Rodet
97
Voted
DT
2000
101views more  DT 2000»
15 years 14 days ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler