319 search results - page 48 / 64 » Dynamically inferring temporal properties |
SSDBM
2007
IEEE
14 years 1 months ago
2007
IEEE
K-anonymity is a simple yet practical mechanism to protect privacy against attacks of re-identifying individuals by joining multiple public data sources. All existing methods achi...
FM
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
ECOOP
2010
Springer
14 years 13 days ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
COMSNETS
2012
12 years 3 months ago
2012
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a new approach to iteratively estimate both
high-quality depth map and alpha matte from a single image
or a video sequence. Scene depth, which is invariant
to illumin...