Sciweavers

4229 search results - page 795 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
ISSS
1999
IEEE
168views Hardware» more  ISSS 1999»
14 years 29 days ago
Automatic Architectural Synthesis of VLIW and EPIC Processors
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
Shail Aditya, B. Ramakrishna Rau, Vinod Kathail
ACL2
2006
ACM
14 years 13 days ago
Combining ACL2 and an automated verification tool to verify a multiplier
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
Erik Reeber, Jun Sawada
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
14 years 10 days ago
Robustness in cooperative coevolution
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
R. Paul Wiegand, Mitchell A. Potter
KDD
2000
ACM
114views Data Mining» more  KDD 2000»
14 years 8 days ago
Learning Prosodic Patterns for Mandarin Speech Synthesis
Higher quality synthesized speech is required for widespread use of text-to-speech (TTS) technology, and prosodic pattern is the key feature that makes synthetic speech sound unna...
Yiqiang Chen, Wen Gao, Tingshao Zhu
LREC
2010
176views Education» more  LREC 2010»
13 years 10 months ago
TTS Evaluation Campaign with a Common Spanish Database
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...
Iñaki Sainz, Eva Navas, Inma Hernáez...