Sciweavers

1996 search results - page 107 / 400
» A decision procedure for linear
Sort
View
COR
2011
15 years 1 months ago
Faster integer-feasibility in mixed-integer linear programs by branching to force change
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
Jennifer Pryor, John W. Chinneck
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 11 months ago
An error bound for model reduction of Lur'e-type systems
— In general, existing model reduction techniques for stable nonlinear systems lack a guarantee on stability of the reduced-order model, as well as an error bound. In this paper,...
Bart Besselink, Nathan van de Wouw, Henk Nijmeijer
ICRA
2007
IEEE
155views Robotics» more  ICRA 2007»
16 years 20 days ago
Value Function Approximation on Non-Linear Manifolds for Robot Motor Control
— The least squares approach works efficiently in value function approximation, given appropriate basis functions. Because of its smoothness, the Gaussian kernel is a popular an...
Masashi Sugiyama, Hirotaka Hachiya, Christopher To...
SODA
2008
ACM
150views Algorithms» more  SODA 2008»
15 years 7 months ago
Finding an optimal tree searching strategy in linear time
We address the extension of the binary search technique from sorted arrays and totally ordered sets to trees and tree-like partially ordered sets. As in the sorted array case, the...
Shay Mozes, Krzysztof Onak, Oren Weimann
INFORMATICALT
2008
133views more  INFORMATICALT 2008»
15 years 6 months ago
A New Logarithmic Normalization Method in Games Theory
Abstract. Multi-criteria decision making is used in many areas of human activities. Each alternative in multi-criteria decision making problem can be described by a set of criteria...
Edmundas Kazimieras Zavadskas, Zenonas Turskis