Sciweavers

936 search results - page 14 / 188
» The Synthesis Problem of Netcharts
Sort
View
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 10 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
SIGPRO
2011
229views Hardware» more  SIGPRO 2011»
14 years 10 months ago
Fast and exact synthesis of stationary multivariate Gaussian time series using circulant embedding
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
Hannes Helgason, Vladas Pipiras, Patrice Abry
TVLSI
2010
14 years 10 months ago
Asynchronous Data-Driven Circuit Synthesis
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...
Sam Taylor, Doug A. Edwards, Luis A. Plana, Luis A...
ICASSP
2011
IEEE
14 years 7 months ago
Global variance modeling on frequency domain delta LSP for HMM-based speech synthesis
The speech parameter generation algorithm considering global variance (GV) for HMM-based speech synthesis proved to be effective against the over-smoothing problem. However, the c...
Shifeng Pan, Yoshihiko Nankaku, Keiichi Tokuda, Ji...
ICASSP
2011
IEEE
14 years 7 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