Sciweavers

1399 search results - page 145 / 280
» A Component Model for Control-Intensive Distributed Embedded...
Sort
View
100
Voted
ICPPW
2006
IEEE
15 years 8 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
STEP
2003
IEEE
15 years 7 months ago
Using Grid Technologies for Web-Enabling Legacy Systems
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
Thierry Bodhuin, Maria Tortorella
118
Voted
INTERSPEECH
2010
14 years 9 months ago
Asymptotically exact noise-corrupted speech likelihoods
Model compensation techniques for noise-robust speech recognition approximate the corrupted speech distribution. This paper introduces a sampling method that, given speech and noi...
Rogier C. van Dalen, Mark J. F. Gales
OTM
2004
Springer
15 years 7 months ago
Using Patterns in the Design of Inter-organizational Systems - An Experience Report
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
John Novatnack, Jana Koehler
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
15 years 7 months ago
Distributed optimal planning: an approach by weighted automata calculus
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
Eric Fabre, Loig Jezequel