CORR
2010
Springer
13 years 5 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 ...
CORR
2010
Springer
13 years 5 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 ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 5 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 ...
CORR
2010
Springer
13 years 5 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...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 5 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...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 5 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...