Sciweavers

1477 search results - page 90 / 296
» Criteria for the evaluation of implemented architectures
Sort
View
ANLP
1997
81views more  ANLP 1997»
15 years 7 months ago
Name pronunciation in German text-to-speech synthesis
We describe the name analysis and pronunciation component in the German version of the Bell Labs multilingual text-tospeech system. We concentrate on street names because they enc...
Stefanie Jannedy, Bernd Möbius
WCE
2007
15 years 7 months ago
A Note on Tornado Diagrams in Interval Decision Analysis
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
Jim Idefeldt, Mats Danielson

Publication
261views
15 years 7 months ago
GPU Rigid Skinning based on a Refined Skeletonization Method
In this paper, we present a skeletal rigid skinning approach. First, we describe a skeleton extraction technique that produces refined skeletons appropriate for animation from deco...
Andreas Vasilakis, Ioannis Fudos
ERCIM
2008
78views more  ERCIM 2008»
15 years 6 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
Andrew W. Appel, Xavier Leroy