298 search results - page 38 / 60 » Computer security: quality rather than quantity |
DSN
2004
IEEE
14 years 1 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...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
Depth maps captured with time-of-flight cameras have
very low data quality: the image resolution is rather limited
and the level of random noise contained in the depth maps
is v...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Web logs, or blogs, challenge the notion of authorship. Seemingly, rather than a model in which the author's writings are themselves a contribution, the blog author weaves a ...
CVPR
2009
IEEE
14 years 4 months ago
2009
IEEE
1 Example-based super-resolution recovers missing high frequencies in a magnified image by learning the correspondence between co-occurrence examples at two different resolution le...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
Most clustering algorithms operate by optimizing (either implicitly or explicitly) a single measure of cluster solution quality. Such methods may perform well on some data sets bu...