2725 search results - page 283 / 545 » Constraint Solving for Interpolation |
203
click to vote
CPAIOR
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack pr...
161
click to vote
HYBRID
2004
Springer
16 years 21 days ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
208
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
16 years 18 days ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
160
click to vote
ISCAS
2002
IEEE
16 years 7 days ago
2002
IEEE
A unified, closed form analytical drain current model for partially and fully depleted SOS MOSFETs was investigated. The analytical model was developed using first order principle...
189
click to vote
CADE
2001
Springer
15 years 12 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...