Sciweavers

1477 search results - page 90 / 296
» Criteria for the evaluation of implemented architectures
Sort
View
ANLP
1997
81views more  ANLP 1997»
13 years 12 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
13 years 11 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
13 years 11 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»
13 years 10 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»
13 years 10 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