Sciweavers

970 search results - page 116 / 194
» Dynamics and Automaticity of Context: A Cognitive Modeling A...
Sort
View
ISORC
2000
IEEE
15 years 6 months ago
Hierarchical Feedback Adaptation for Real Time Sensor-Based Distributed Applications
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
Mihaela Cardei, Ionut Cardei, Rakesh Jha, Allalagh...
TSD
2010
Springer
14 years 11 months ago
Hybrid HMM/BLSTM-RNN for Robust Speech Recognition
The question how to integrate information from different sources in speech decoding is still only partially solved (layered architecture versus integrated search). We investigate t...
Yang Sun, Louis ten Bosch, Lou Boves
FM
2009
Springer
146views Formal Methods» more  FM 2009»
14 years 11 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
EUROMICRO
2009
IEEE
15 years 8 months ago
Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
Richard Mordinyi, Thomas Moser, eva Kühn, Ste...
CORR
2011
Springer
127views Education» more  CORR 2011»
14 years 8 months ago
Is a probabilistic modeling
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
Michel Fliess, Cédric Join, Fréd&eac...