Sciweavers

10493 search results - page 342 / 2099
» Dynamic Word Problems
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
High accurate model-integration-based voice conversion using dynamic features and model structure optimization
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
Daisuke Saito, Shinji Watanabe, Atsushi Nakamura, ...
FSTTCS
2007
Springer
16 years 25 days ago
Propositional Dynamic Logic for Message-Passing Systems
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
ITC
2003
IEEE
156views Hardware» more  ITC 2003»
15 years 12 months ago
A High Precision IDDQ Measurement System With Improved Dynamic Load Regulation
This paper describes a system for performing high precision IDDQ measurement of CMOS ICs having a large peak current during operation. Although the measurement rate is at a low sp...
Nobuhiro Sato, Yoshihiro Hashimoto
TAPIA
2003
ACM
15 years 12 months ago
A hard-constraint time-stepping approach for rigid multibody dynamics with joints, contact, and friction
We present a method for simulating rigid multibody dynamics with joints, contact, and friction. In this work, the nonsmooth contact and frictional constraints are represented by h...
Gary D. Hart, Mihai Anitescu
GECCO
2000
Springer
133views Optimization» more  GECCO 2000»
15 years 10 months ago
Hybrid Differential Evolution for Dynamic Optimization of a Fedbatch Bioreactor Process
A hybrid method of evolutionary algorithms is introduced in this study. The hybrid method includes two additional operations, acceleration and migrating operations. These two oper...
Feng-Sheng Wang