639 search results - page 52 / 128 » Integer Programming Models for Optimization Problems in Test... |
129
Voted
WSC
2000
15 years 4 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
115
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
107
Voted
EOR
2007
15 years 2 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
105
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
215
Voted
LPAR
2010
Springer
15 years 15 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...