Sciweavers

426 search results - page 8 / 86
» SAT-Based Techniques in System Synthesis
Sort
View
ICASSP
2011
IEEE
12 years 10 months ago
An analysis of machine translation and speech synthesis in speech-to-speech translation system
This paper provides an analysis of the impacts of machine translation and speech synthesis on speech-to-speech translation systems. The speech-to-speech translation system consist...
Kei Hashimoto, Junichi Yamagishi, William J. Byrne...
DAC
1996
ACM
13 years 11 months ago
Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis
Abstract: Introspection, a zero-overhead binding technique during self-diagnosing microarchitecture synthesis is presented. Given a scheduled control data ow graph (CDFG) introspec...
Balakrishnan Iyer, Ramesh Karri
ESOP
2003
Springer
13 years 12 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
INTERSPEECH
2010
13 years 1 months ago
Speaker and language adaptive training for HMM-based polyglot speech synthesis
This paper proposes a technique for speaker and language adaptive training for HMM-based polyglot speech synthesis. Language-specific context-dependencies in the system are captur...
Heiga Zen
CODES
2005
IEEE
14 years 10 days ago
Conflict analysis in multiprocess synthesis for optimized system integration
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
Oliver Bringmann, Wolfgang Rosenstiel, Axel Sieben...