1330 search results - page 181 / 266 » No Classic Boundary Conditions |
208
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
150
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
189
click to vote
PAMI
2010
15 years 4 months ago
2010
—Adapting the hyperparameters of support vector machines (SVMs) is a challenging model selection problem, especially when flexible kernels are to be adapted and data are scarce....
142
click to vote
PTS
2010
15 years 4 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
150
click to vote
SIAMCO
2010
15 years 4 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...