3250 search results - page 208 / 650 » An Algorithm to Solve a Linear Program |
293
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— To solve systems of linear matrix equations A1XB1 = F1 and A2XB2 = F2, we present iterative algorithms to get the solutions. For any initial value, we prove that the iterative ...
201
click to vote
NIPS
2007
15 years 7 months ago
2007
When we have several related tasks, solving them simultaneously is shown to be more effective than solving them individually. This approach is called multi-task learning (MTL) and...
164
click to vote
DISOPT
2008
15 years 6 months ago
2008
In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed n-fold integer programming problems are polynomial time ...
221
click to vote
JMLR
2012
13 years 9 months ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...