894 search results - page 137 / 179 » Optimizations for LTL Synthesis |
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
SCL
2010
14 years 5 months ago
2010
The stabilization of uncertain LTI/LPV time delay systems with time varying delays by statefeedback controllers is addressed. At the difference of other works in the literature, t...
132
click to vote
ICIP
2004
IEEE
16 years 19 days ago
2004
IEEE
This paper proposes a framework of scalable motion estimation and coding with the structure of multi-layers for 3D wavelet video coding. The motion representation consists of mult...
ICIP
2003
IEEE
16 years 19 days ago
2003
IEEE
This paper investigates the use of the Bayesian inference for devising an unsupervised sketch rendering procedure. As likelihood model of this inference, we exploit the recent sta...
104
Voted
DAC
2007
ACM
16 years 14 hour ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...