2488 search results - page 311 / 498 » An improvement in formal verification |
107
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
114
click to vote
AUSAI
2006
Springer
15 years 3 months ago
2006
Springer
The SVM based Recursive Feature Elimination (RFE-SVM) algorithm is a popular technique for feature selection, used in natural language processing and bioinformatics. Recently it wa...
119
click to vote
PRL
2006
15 years 1 months ago
2006
This paper describes an improved boosting algorithm, the MutualBoost algorithm, and its application in developing a fast and robust Gabor feature based face recognition system. Th...
145
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
109
click to vote
EJASMP
2010
14 years 8 months ago
2010
Computer Assisted Language Learning (CALL) applications for improving the oral skills of low-proficient learners have to cope with nonnative speech that is particularly challengin...