CORR
2010
Springer
14 years 6 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
79
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
In this paper we describe a procedure to reduce the size of the input feature vector. A complex pattern recognition problem like face recognition involves huge dimension of input ...
47
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
73
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
105
click to vote
CORR
2010
Springer
14 years 6 months ago
2010
Springer
General-purpose computing on graphics processing units (GPGPU) has recently gained considerable attention in various domains such as bioinformatics, databases and distributed comp...
38
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
CORR
2010
Springer
14 years 6 months ago
2010
Springer
Abstract--Recently, it has been shown that a quantize-mapand-forward scheme approximately achieves (within a constant number of bits) the Gaussian relay network capacity for arbitr...
29
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
31
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
CORR
2010
Springer
14 years 6 months ago
2010
Springer
: We consider mixed Dirichlet-Robin problems on scale irregular domains. In particular, we study the asymptotic convergence of the solutions of elliptic problems with Robin boundar...