Sciweavers

366 search results - page 18 / 74
» Synthesis: Words and Traces
Sort
View
FM
2003
Springer
109views Formal Methods» more  FM 2003»
14 years 1 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
COST
2007
Springer
118views Multimedia» more  COST 2007»
14 years 2 months ago
The Organization of a Neurocomputational Control Model for Articulatory Speech Synthesis
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
Bernd J. Kröger, Anja Lowit, Ralph Schnitker
ISSS
1998
IEEE
124views Hardware» more  ISSS 1998»
14 years 21 days ago
Data-Path Synthesis of VLIW Video Signal Processors
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...
Zhao Wu, Wayne Wolf
ICASSP
2011
IEEE
12 years 12 months ago
Improved pos tagging for text-to-speech synthesis
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
Ming Sun, Jerome R. Bellegarda
TSD
2007
Springer
14 years 2 months ago
Quality Deterioration Factors in Unit Selection Speech Synthesis
Abstract. The purpose of the present paper is to examine the relationships between target and concatenation costs and the quality (with focus on naturalness) of generated speech. S...
Daniel Tihelka, Jindrich Matousek, Jirí Kal...