Sciweavers

2182 search results - page 162 / 437
» A Robust Algorithm for Solving Nonlinear Programming Problem...
Sort
View
CC
2004
Springer
122views System Software» more  CC 2004»
14 years 2 months ago
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Erin Parker, Siddhartha Chatterjee
TCAD
2008
136views more  TCAD 2008»
13 years 9 months ago
A Geometric Programming-Based Worst Case Gate Sizing Method Incorporating Spatial Correlation
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
Jaskirat Singh, Zhi-Quan Luo, Sachin S. Sapatnekar
MICCAI
2009
Springer
14 years 10 months ago
MKL for Robust Multi-modality AD Classification
We study the problem of classifying mild Alzheimer's disease (AD) subjects from healthy individuals (controls) using multi-modal image data, to facilitate early identification...
Chris Hinrichs, Vikas Singh, Guofan Xu, Sterlin...
CORR
2011
Springer
215views Education» more  CORR 2011»
13 years 28 days ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
AUTOMATICA
2007
103views more  AUTOMATICA 2007»
13 years 9 months ago
Lexicographic perturbation for multiparametric linear programming with applications to control
Optimal control problems for constrained linear systems with a linear cost can be posed as multiparametric linear programs with a parameter in the cost, or equivalently the right-...
Colin Neil Jones, Eric C. Kerrigan, Jan M. Maciejo...