213 search results - page 34 / 43 » Benchmarking Anomaly-Based Detection Systems |
CVPR
2009
IEEE
15 years 1 months ago
2009
IEEE
We present a simple framework to model contextual
relationships between visual concepts. The new framework
combines ideas from previous object-centric methods
(which model conte...
KES
2009
Springer
14 years 1 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
NCA
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
ASAP
2005
IEEE
14 years 10 days ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
LPAR
2005
Springer
14 years 6 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...