Sciweavers

949 search results - page 27 / 190
» Theory of Constraints
Sort
View
IROS
2006
IEEE
104views Robotics» more  IROS 2006»
14 years 2 months ago
Optimal Trajectory Generation for Manipulator Robots under Thermal Constraints
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
Matthieu Guilbert, Pierre-Brice Wieber, Luc D. Jol...
MP
2008
137views more  MP 2008»
13 years 8 months ago
Valid inequalities and restrictions for stochastic programming problems with first order stochastic dominance constraints
Stochastic dominance relations are well-studied in statistics, decision theory and economics. Recently, there has been significant interest in introducing dominance relations into...
Nilay Noyan, Andrzej Ruszczynski
SEFM
2006
IEEE
14 years 2 months ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
CP
2008
Springer
13 years 10 months ago
Perfect Constraints Are Tractable
By using recent results from graph theory, including the Strong Perfect Graph Theorem, we obtain a unifying framework for a number of tractable classes of constraint problems. Thes...
András Z. Salamon, Peter G. Jeavons
MP
2002
113views more  MP 2002»
13 years 8 months ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph