Sciweavers

2203 search results - page 387 / 441
» Temporal Abstract Interpretation
Sort
View
INTERACT
2003
15 years 1 months ago
A Model-Based Approach for Engineering Multimodal Interactive Systems
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
Philippe A. Palanque, Amélie Schyn
ECCV
2010
Springer
15 years 29 days ago
Robust and Fast Collaborative Tracking with Two Stage Sparse Optimization
Abstract. The sparse representation has been widely used in many areas and utilized for visual tracking. Tracking with sparse representation is formulated as searching for samples ...
Baiyang Liu, Lin Yang, Junzhou Huang, Peter Meer, ...
FMICS
2010
Springer
15 years 29 days ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
ICA
2010
Springer
15 years 28 days ago
Non-negative Hidden Markov Modeling of Audio with Application to Source Separation
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...
Gautham J. Mysore, Paris Smaragdis, Bhiksha Raj
ICANN
2010
Springer
15 years 28 days ago
Action Classification in Soccer Videos with Long Short-Term Memory Recurrent Neural Networks
Abstract. In this paper, we propose a novel approach for action classification in soccer videos using a recurrent neural network scheme. Thereby, we extract from each video action ...
Moez Baccouche, Franck Mamalet, Christian Wolf, Ch...