3250 search results - page 238 / 650 » An Algorithm to Solve a Linear Program |
182
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
149
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we solve the problem of detecting the entries of a sparse finite-alphabet signal from a limited amount of data, for instance obtained by compressive sampling. While...
168
click to vote
AIIA
2007
Springer
16 years 22 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
150
click to vote
EUROGP
2003
Springer
15 years 11 months ago
2003
Springer
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
154
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...