2282 search results - page 400 / 457 » Active property checking |
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
ICANN
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a new model for extracting large-field optical flow patterns to generate distributed representations of neural activation to control complex visual tasks such ...
PAM
2007
Springer
14 years 4 months ago
2007
Springer
Cross-traffic data rate over the tight link of a path can be estimated using different active probing packet dispersion techniques. Many of these techniques send large amounts of p...
PKC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Multivariate Cryptography has been an active line of research for almost twenty years. While most multivariate cryptosystems have been under attack, variations of the bas...
SCALESPACE
2007
Springer
14 years 4 months ago
2007
Springer
A variational formulation of an image analysis problem has the nice feature that it is often easier to predict the eect of minimizing a certain energy functional than to interpret...