3994 search results - page 558 / 799 » A Linear Logical Framework |
203
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
179
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
171
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In the framework of the ISS Lyapunov formulation a small gain theorem has recently been proved which allows the explicit construction of Lyapunov functions for intercon...
202
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
229
click to vote
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose an algorithm for sustained tracking of humans, where we combine frame-to-frame articulated motion estimation with a per-frame body detection algorithm. T...