Sciweavers

634 search results - page 50 / 127
» Completion Procedures as Semidecision Procedures
Sort
View
TASLP
2002
87views more  TASLP 2002»
14 years 9 months ago
A set of corpus-based text-to-speech synthesis technologies for Mandarin Chinese
This paper presents a set of corpus-based text-to-speech synthesis technologies for Mandarin Chinese. A large speech corpus produced by a single speaker is used, and the speech out...
Fu-Chiang Chou, Chiu-yu Tseng, Lin-Shan Lee
PVLDB
2008
96views more  PVLDB 2008»
14 years 9 months ago
H-store: a high-performance, distributed main memory transaction processing system
Our previous work has shown that architectural and application shifts have resulted in modern OLTP databases increasingly falling short of optimal performance [10]. In particular,...
Robert Kallman, Hideaki Kimura, Jonathan Natkins, ...
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
14 years 8 months ago
OctoMag: An electromagnetic system for 5-DOF wireless micromanipulation
— We demonstrate five-degree-of-freedom (5-DOF) wireless magnetic control of a fully untethered microrobot (3DOF position, 2-DOF pointing orientation). The microrobot can move t...
Bradley Kratochvil, Michael P. Kummer, Jake J. Abb...
JMLR
2010
129views more  JMLR 2010»
14 years 8 months ago
On Finding Predictors for Arbitrary Families of Processes
The problem is sequence prediction in the following setting. A sequence x1, . . . , xn, . . . of discrete-valued observations is generated according to some unknown probabilistic ...
Daniil Ryabko
SAMOS
2010
Springer
14 years 8 months ago
Identifying communication models in Process Networks derived from Weakly Dynamic Programs
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
Dmitry Nadezhkin, Todor Stefanov