769 search results - page 59 / 154 » A Machine Model for Aspect-Oriented Programming |
141
click to vote
ICML
2004
IEEE
15 years 9 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...
129
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
124
Voted
ENTCS
2008
15 years 3 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
128
Voted
FUIN
2007
15 years 3 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
141
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a new unsupervised algorithm for training structured predictors that is discriminative, convex, and avoids the use of EM. The idea is to formulate an unsupervised versi...