Sciweavers

2743 search results - page 400 / 549
» Minimization of an M-convex Function
Sort
View
JAR
2008
105views more  JAR 2008»
15 years 5 months ago
Proof Synthesis and Reflection for Linear Arithmetic
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
Amine Chaieb, Tobias Nipkow
JMLR
2006
143views more  JMLR 2006»
15 years 5 months ago
Consistency and Convergence Rates of One-Class SVMs and Related Algorithms
We determine the asymptotic behaviour of the function computed by support vector machines (SVM) and related algorithms that minimize a regularized empirical convex loss function i...
Régis Vert, Jean-Philippe Vert
MP
2008
101views more  MP 2008»
15 years 5 months ago
Accelerating the cubic regularization of Newton's method on convex problems
In this paper we propose an accelerated version of the cubic regularization of Newton's method [6]. The original version, used for minimizing a convex function with Lipschitz...
Yu. Nesterov
SIAMJO
2008
104views more  SIAMJO 2008»
15 years 5 months ago
A Minimax Theorem with Applications to Machine Learning, Signal Processing, and Finance
This paper concerns a fractional function of the form xT a/ xT Bx, where B is positive definite. We consider the game of choosing x from a convex set, to maximize the function, an...
Seung-Jean Kim, Stephen P. Boyd
AUTOMATICA
2005
112views more  AUTOMATICA 2005»
15 years 5 months ago
Optimal controller tuning for nonlinear processes
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
Nikolaos Kazantzis, Costas Kravaris, Costas Tseron...