1843 search results - page 267 / 369 » Securing Class Initialization |
DSN
2004
IEEE
14 years 2 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
JCS
2006
13 years 11 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
Can we discover common object shapes within unlabeled
multi-category collections of images? While often a critical
cue at the category-level, contour matches can be difficult
to...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
Active learning strategies can be useful when manual labeling
effort is scarce, as they select the most informative
examples to be annotated first. However, for visual category
...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we present a method for learning classspecific
features for recognition. Recently a greedy layerwise
procedure was proposed to initialize weights of deep
belief ne...