Sciweavers

4140 search results - page 472 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
236
Voted
CAV
2004
Springer
202views Hardware» more  CAV 2004»
16 years 1 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
EACL
2009
ACL Anthology
16 years 7 months ago
Re-Ranking Models for Spoken Language Understanding
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...
Marco Dinarelli, Alessandro Moschitti, Giuseppe Ri...
ICPR
2008
IEEE
16 years 7 months ago
People and luggage recognition in airport surveillance under real-time constraints
This paper describes an approach to classify people, groups of people and luggage in the halls of an airport. The algorithm is included into a surveillance system which tracks and...
Vicente Luis Atienza Vanacloig, Juan Alfonso Rosel...
ICSEA
2008
IEEE
16 years 1 months ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...
ICPR
2008
IEEE
16 years 7 months ago
Audio-visual event classification via spatial-temporal-audio words
In this paper, we propose a generative model-based approach for audio-visual event classification. This approach is based on a new unsupervised learning method using an extended p...
Ming Li, Sanqing Hu, Shih-Hsi Liu, Sung Baang, Yu ...