Sciweavers

234 search results - page 6 / 47
» Automatic system identification based on coevolution of mode...
Sort
View
104
Voted
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 7 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
IKE
2008
14 years 11 months ago
Text-independent Speaker Identification Based on MAP Channel Compensation and Pitch-dependent Features
One major source of performance decline in speaker recognition system is channel mismatch between training and testing. This paper focuses on improving channel robustness of speake...
JiQing Han, RongChun Gao
IJCAI
2007
14 years 11 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss
INTERSPEECH
2010
14 years 4 months ago
Combining five acoustic level modeling methods for automatic speaker age and gender recognition
This paper presents a novel automatic speaker age and gender identification approach which combines five different methods at the acoustic level to improve the baseline performanc...
Ming Li, Chi-Sang Jung, Kyu Jeong Han
CVPR
2004
IEEE
15 years 11 months ago
Automatic View Recognition in Echocardiogram Videos Using Parts-Based Representation
Indexing echocardiogram videos at different levels of structure is essential for providing efficient access to their content for browsing and retrieval purposes. We present a nove...
Shahram Ebadollahi, Shih-Fu Chang, Henry Wu