1712 search results - page 274 / 343 » A Computational Approach to Binding Theory |
232
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
115
click to vote
RIVF
2007
15 years 3 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...
115
click to vote
SIGMETRICS
2010
ACM
14 years 12 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
123
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
Compressive Sensing is an emerging field based on the revelation that a small group of non-adaptive linear projections of a compressible signal contains enough information for rec...
119
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper, a new method of feature extraction with rotation invariant property is presented. One of the main contributions of this study is that a rotation invariant signature...