Sciweavers

234 search results - page 35 / 47
» Automatic system identification based on coevolution of mode...
Sort
View
CORR
2008
Springer
135views Education» more  CORR 2008»
14 years 9 months ago
Probabilistic SVM/GMM Classifier for Speaker-Independent Vowel Recognition in Continues Speech
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
Mohammad Nazari, Abolghasem Sayadiyan, Seyyed Maji...
SOCIALCOM
2010
14 years 7 months ago
Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
Wai-Tat Fu, Wei Dong
FTCS
1998
114views more  FTCS 1998»
14 years 10 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
FORTE
2009
14 years 7 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
INFORMATICALT
2010
151views more  INFORMATICALT 2010»
14 years 8 months ago
The Use of Group Delay Features of Linear Prediction Model for Speaker Recognition
Abstract. New text independent speaker identification method is presented. Phase spectrum of allpole linear prediction (LP) model is used to derive the speech features. The featur...
Algirdas Bastys, Andrej Kisel, Bernardas Salna