Sciweavers

1675 search results - page 228 / 335
» Compositional Model-Based Design
Sort
View
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 7 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
RTS
2010
90views more  RTS 2010»
13 years 7 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
CAINE
2010
13 years 7 months ago
Real-Time Emotional Speech Processing for Neurorobotics Applications
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
Corey M. Thibeault, Oscar Sessions, Philip H. Good...
ICASSP
2009
IEEE
13 years 6 months ago
VLSI for 5000-word continuous speech recognition
We have developed a VLSI chip for 5,000 word speakerindependent continuous speech recognition. This chip employs a context-dependent HMM (hidden Markov model) based speech recogni...
Young-kyu Choi, Kisun You, Jungwook Choi, Wonyong ...
COLING
2010
13 years 4 months ago
Finite-state Scriptural Translation
We use robust and fast Finite-State Machines (FSMs) to solve scriptural translation problems. We describe a phonetico-morphotactic pivot UIT (universal intermediate transcription)...
M. G. Abbas Malik, Christian Boitet, Pushpak Bhatt...