Sciweavers

936 search results - page 14 / 188
» The Synthesis Problem of Netcharts
Sort
View
NFM
2011
225views Formal Methods» more  NFM 2011»
13 years 2 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»
13 years 2 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
13 years 2 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
12 years 11 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
12 years 11 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