Sciweavers

21 search results - page 3 / 5
» Explicit modelling of session variability for speaker verifi...
Sort
View
INTERSPEECH
2010
13 years 4 days ago
Domain adaptation and compensation for emotion detection
Inspired by the recent improvements in domain adaptation and session variability compensation techniques used for speech and speaker processing, we study their effect for emotion ...
Michelle Hewlett Sanchez, Gökhan Tür, Lu...
ICSE
2007
IEEE-ACM
14 years 5 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
IFIP
2009
Springer
13 years 3 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber
ICASSP
2011
IEEE
12 years 9 months ago
Robust talking face video verification using joint factor analysis and sparse representation on GMM mean shifted supervectors
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...
Ming Li, Shrikanth Narayanan
CAV
2009
Springer
239views Hardware» more  CAV 2009»
13 years 9 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi