688 search results - page 94 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
TMM
2010
13 years 4 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
CVPR
2007
IEEE
15 years 2 days ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a sparse non-negative image coding based on simulated annealing and matrix pseudo-inversion. We show that sparsity and non-negativity are both important to obtain part-...
CCE
2007
13 years 10 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...