3994 search results - page 715 / 799 » A Linear Logical Framework |
131
click to vote
IWSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
191
click to vote
MEDIAFORENSICS
2010
15 years 2 months ago
2010
Error correction codes of suitable redundancy are used for ensuring perfect data recovery in noisy channels. For iterative decoding based methods, the decoder needs to be initiali...
146
click to vote
PAMI
2010
15 years 2 months ago
2010
—This paper considers feature selection for data classification in the presence of a huge number of irrelevant features. We propose a new feature selection algorithm that addres...
125
click to vote
SIAMCO
2010
15 years 2 months ago
2010
A parallel splitting method is proposed for solving systems of coupled monotone inclusions in Hilbert spaces, and its convergence is established under the assumption that solutions...
144
click to vote
TCOM
2010
15 years 2 months ago
2010
Abstract—This paper considers the problem of Gaussian symbols detection in MIMO systems in the presence of channel estimation errors. Under this framework we develop a computatio...