872 search results - page 47 / 175 » Automatic Generation of Detection Algorithms for Design Defe... |
USS
2004
13 years 10 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, a novel feature named Adaptive Contour
Feature (ACF) is proposed for human detection and segmentation.
This feature consists of a chain of a number of
granules in...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
COLING
2008
13 years 10 months ago
2008
We propose a new unsupervised method for topic detection that automatically identifies the different facets of an event. We use pointwise Kullback-Leibler divergence along with th...