1309 search results - page 13 / 262 » Approaching Optimality for Solving SDD Linear Systems |
150
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
— We present a receding horizon optimal control approach for the one-dimensional linear wave equation. In order to prove stability and suboptimality of this approach we use a wei...
131
Voted
EVOW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
166
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
126
click to vote
JMM2
2007
15 years 3 months ago
2007
—This paper aims to develop a novel framework to systematically trade-off computational complexity with output distortion in linear multimedia transforms, in an optimal manner. T...
173
click to vote
CCE
2008
15 years 3 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...