11066 search results - page 270 / 2214 » Linearity in Process Languages |
133
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
137
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The least-absolute shrinkage and selection operator (Lasso) is a popular tool for joint estimation and continuous variable selection, especially well-suited for the under-determin...
188
Voted
JMLR
2006
15 years 4 months ago
2006
In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data. Such methods make various assumptions on the data generating ...
158
click to vote
IJCSA
2006
15 years 4 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
126
Voted
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
We present a simple, original method to improve piecewise linear interpolation with uniform knots: We shift the sampling knots by a fixed amount, while enforcing the interpolation...