4903 search results - page 556 / 981 » The Set Covering Machine |
172
click to vote
ECEASST
2008
15 years 7 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
170
click to vote
IJDMMM
2008
15 years 6 months ago
2008
In recent years, a number of machine learning algorithms have been developed for the problem of ordinal classification. These algorithms try to exploit, in one way or the other, t...
234
click to vote
JMLR
2008
15 years 6 months ago
2008
LIBLINEAR is an open source library for large-scale linear classification. It supports logistic regression and linear support vector machines. We provide easy-to-use command-line ...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
196
click to vote
TSI
2008
15 years 6 months ago
2008
This paper presents the design, implementation and evaluation of Jade, an environment for autonomic management of legacy software infrastructures. This environment relies on two ma...