7167 search results - page 552 / 1434 » Answer Set Programming |
144
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
130
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
170
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we show that one-class SVMs can also utilize data covariance in a robust manner to improve performance. Furthermore, by constraining the desired kernel function ...
143
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
157
click to vote
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
LASSO (Least Absolute Shrinkage and Selection Operator) is a useful tool to achieve the shrinkage and variable selection simultaneously. Since LASSO uses the L1 penalty, the optim...