Sciweavers

632 search results - page 127 / 127
» Using Optical Flow for Tracking
Sort
View
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
14 years 5 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
SIAMCO
2008
108views more  SIAMCO 2008»
13 years 10 months ago
A Viability Theorem for Morphological Inclusions
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
Thomas Lorenz