Sciweavers

4140 search results - page 213 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
RTS
2008
131views more  RTS 2008»
15 years 6 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
KDD
2004
ACM
151views Data Mining» more  KDD 2004»
16 years 7 months ago
Feature selection in scientific applications
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
Erick Cantú-Paz, Shawn Newsam, Chandrika Ka...
ICIAR
2009
Springer
15 years 4 months ago
A Robust Modular Wavelet Network Based Symbol Classifier
This paper presents a robust automatic shape classifier using modular wavelet networks (MWNs). A shape descriptor is constructed based on a combination of global geometric features...
Akshaya Kumar Mishra, Paul W. Fieguth, David A. Cl...
JISBD
2001
15 years 8 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
ICASSP
2011
IEEE
14 years 10 months ago
A logarithmic based pole-zero vocal tract model estimation for speaker verification
In this paper we investigate the use of formant and antiformant measurements of nasal consonants for speaker verification. The features are obtained using a pole-zero vocal tract...
Ewald Enzinger, Péter Balázs, Dami&a...