Sciweavers

107 search results - page 14 / 22
» Further results on the Craig-Sakamoto Equation
Sort
View
82
Voted
CDC
2010
IEEE
164views Control Systems» more  CDC 2010»
14 years 5 months ago
Stabilization of polytopic delay difference inclusions: Time-varying control Lyapunov functions
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...
Rob H. Gielen, Mircea Lazar
CDC
2008
IEEE
15 years 5 months ago
Convex duality and entropy-based moment closures: Characterizing degenerate densities
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
Cory D. Hauck, C. David Levermore, André L....
92
Voted
PAMI
2002
149views more  PAMI 2002»
14 years 10 months ago
Region Tracking via Level Set PDEs without Motion Computation
Tracking regions in an image sequence is a challenging and di cult problem in image processing and computer vision, and at the same time, one that has many important applications:...
Abdol-Reza Mansouri
89
Voted
SAC
2008
ACM
14 years 10 months ago
Removing useless variables in cost analysis of Java bytecode
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
129
Voted
KI
2010
Springer
14 years 5 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer