8828 search results - page 173 / 1766 » Formal methods in practice |
145
Voted
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
In supervised kernel methods, it has been observed that the performance of the SVM classifier is poor in cases where the diagonal entries of the Gram matrix are large relative to ...
107
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structur...
125
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
143
click to vote
ISBRA
2009
Springer
15 years 11 months ago
2009
Springer
There are many methods for assessing the quality of microarray data, but little guidance regarding what to do when defective data is identified. Depending on the scientific questio...
140
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...