3342 search results - page 241 / 669 » Automating Abstract Interpretation |
136
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
This paper describes the design and evaluation of prosodically-sensitive concatenative units for a Korean text-to-speech (TTS) synthesis system. The diphones used are prosodically...
112
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
We propose and motivate an alternative to the traditional error-based or cost-based evaluation metrics for the goodness of speaker detection performance. The metric that we propos...
123
Voted
JNW
2008
15 years 3 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
127
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Flow Doppler imaging has become an integral part of an echocardiographic exam. Automated interpretation of flow doppler imaging has so far been restricted to obtaining hemodynami...
154
Voted
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...