7121 search results - page 263 / 1425 » Functions as Session-Typed Processes |
153
click to vote
TISSEC
2010
15 years 1 months ago
2010
We revisit the problem of constructing a protocol for performing authenticated encryption with associated data (AEAD). A technique is described which combines a collision resistant...
160
click to vote
ISIM
2007
15 years 8 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
210
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Many binary code encoding schemes based on hashing have been actively studied recently, since they can provide efficient similarity search, especially nearest neighbor search, an...
192
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Different from appearance-based methods, clustering feature points only by their motion coherence is an emerging category of approach to detecting and tracking individuals among c...
168
click to vote
TIT
2010
15 years 1 months ago
2010
This work provides asymptotic properties of the autocorrelation functions of the wavelet packet coefficients of a fractional Brownian motion. It also discusses the convergence spe...