734 search results - page 91 / 147 » Computer Virus Propagation Models |
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present a method of combining stereo and shape-from-shading information, taking account of the local reliability of each shape estimate. Local estimates of dispar...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
A powerful strategy in intrusion detection is the separation of surveillance mechanisms from a site’s policy for processing observed events. The Bro intrusion detection system h...
EMMCVPR
2005
Springer
15 years 3 months ago
2005
Springer
This paper is devoted to piecewise-constant segmentation of images using a curve evolution approach in a variational formulation. The problem to be solved is also called the minima...
GG
2008
Springer
14 years 11 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...