4488 search results - page 121 / 898 » Properties of NP-Complete Sets |
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Sparse coding, which is the decomposition of a vector using only a few basis elements, is widely used in machine learning and image processing. The basis set, also called dictiona...
DC
2010
13 years 5 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
The properties of local image statistics are analyzed in a classic information theoretic setting. Local spatiochromatic image elements are projected into a space in which constitu...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...