Sciweavers

3457 search results - page 382 / 692
» A Symbol Is Not a Symbol
Sort
View
TASE
2009
IEEE
16 years 1 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
ICTA
2009
IEEE
16 years 1 months ago
SL Teacher: a Framework for teaching LSF on the Web
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
Jean-Paul Sansonnet, Annelies Braffort, Jér...
WIA
2009
Springer
16 years 1 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
COST
2009
Springer
101views Multimedia» more  COST 2009»
16 years 1 months ago
Optimizing Phonetic Encoding for Viennese Unit Selection Speech Synthesis
While developing lexical resources for a particular language variety (Viennese), we experimented with a set of 5 different phonetic encodings, termed phone sets, used for unit sel...
Michael Pucher, Friedrich Neubarth, Volker Strom
162
Voted
FM
2009
Springer
98views Formal Methods» more  FM 2009»
16 years 1 months ago
Recursive Abstractions for Parameterized Systems
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
Joxan Jaffar, Andrew E. Santosa