Sciweavers

78 search results - page 3 / 16
» Church Synthesis Problem with Parameters
Sort
View
NFM
2011
225views Formal Methods» more  NFM 2011»
13 years 21 days 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
VC
2008
131views more  VC 2008»
13 years 5 months ago
Motion synthesis with decoupled parameterization
In real-time animation systems, motion interpolation techniques are widely used for their controllability and efficiency. The techniques sample the parameter space using example mo...
Dongwook Ha, JungHyun Han
JEI
2006
162views more  JEI 2006»
13 years 5 months ago
Markovian segmentation and parameter estimation on graphics hardware
In this paper, we show how Markovian strategies used to solve well-known segmentation problems such as motion estimation, motion detection, motion segmentation, stereovision, and c...
Pierre-Marc Jodoin, Max Mignotte
KES
2004
Springer
13 years 11 months ago
Extracting Stellar Population Parameters of Galaxies from Photometric Data Using Evolution Strategies and Locally Weighted Linea
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
Luis Alvarez, Olac Fuentes, Roberto Terlevich
ICASSP
2011
IEEE
12 years 9 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...