Sciweavers

29143 search results - page 475 / 5829
» A Sortation System Model
Sort
View
ADS
2004
Springer
16 years 7 days ago
Modeling and Synthesizing Emotional Speech for Catalan Text-to-Speech Synthesis
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
Ignasi Iriondo Sanz, Francesc Alías, Javier...
ICCS
2004
Springer
16 years 6 days ago
A Note on Dynamic Data Driven Wildfire Modeling
A proposed system for real-time modeling of wildfires is described. The system involves numerical weather and fire prediction, automated data acquisition from Internet sources, and...
Jan Mandel, Mingshi Chen, Leopoldo P. Franca, Crai...
MLMI
2004
Springer
16 years 6 days ago
Mapping from Speech to Images Using Continuous State Space Models
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
Tue Lehn-Schiøler, Lars Kai Hansen, Jan Lar...
181
Voted
APN
2003
Springer
16 years 2 days ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...