12981 search results - page 2491 / 2597 » Model Checking and Abstraction |
121
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
300
click to vote
EMMCVPR
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We present two data-driven importance distributions for particle filterbased articulated tracking; one based on background subtraction, another on depth information. In ...
125
click to vote
GIL
2011
14 years 1 months ago
2011
Abstract: Several global developments such as the growing demand for bioenergy, limits in the availability of water and diminishing production resources as well as sector-wide cris...
141
click to vote
IACR
2011
14 years 1 months ago
2011
Abstract. Radio Frequency Identification (RFID) systems are vulnerable to relay attacks (i.e., mafia, terrorist and distance frauds) when they are used for authentication purpose...
184
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...