6014 search results - page 567 / 1203 » Structural Testing with Use Cases |
228
click to vote
MCS
2008
Springer
15 years 7 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...
219
click to vote
SADM
2010
15 years 5 months ago
2010
: This paper proposes twin prototype support vector machine (TVM), a constant space and sublinear time support vector machine (SVM) algorithm for online learning. TVM achieves its ...
232
click to vote
INFSOF
2010
15 years 4 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
194
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Association analysis arises in many important applications such as bioinformatics and business intelligence. Given a large collection of measurements over a set of samples, associ...
201
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...