298 search results - page 40 / 60 » Differential variational inequalities |
CAV
2010
Springer
13 years 7 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
DAC
2012
ACM
12 years 8 days ago
2012
ACM
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a novel numerical approach for solving the free-form deformable registration problem. The central idea is to utilize the well understood techniques from variational def...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Detecting humans in films and videos is a challenging problem owing to the motion of the subjects, the camera and the background and to variations in pose, appearance, clothing, il...
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
We present a variational approach to the problem of registering planar shapes despite missing parts. Registration is achieved through the evolution of a partial differential equat...