12981 search results - page 2446 / 2597 » Model Checking and Abstraction |
236
Voted
CRV
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
188
click to vote
FDTC
2011
Springer
14 years 1 months ago
2011
Springer
Abstract—The literature about fault analysis typically describes fault injection mechanisms, e.g. glitches and lasers, and cryptanalytic techniques to exploit faults based on som...
122
click to vote
IACR
2011
14 years 1 months ago
2011
Abstract. We show that the Winternitz one-time signature scheme is existentially unforgeable under adaptive chosen message attacks when instantiated with a family of pseudo random ...
130
click to vote
ICC
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Content-Centric Networking is a new communication architecture that rethinks the Internet communication model, designed for point-to-point connections between hosts, and...
140
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract— In this paper, we consider a class of continuoustime, continuous-space stochastic optimal control problems. Building upon recent advances in Markov chain approximation ...