2143 search results - page 155 / 429 » corr 2010 |
150
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we will study Lee, Kim and Yoo, a verifier password typed key agreement scheme and demonstrate that the scheme is not secure. Then, the authors will propose an enha...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In a previous paper the authors argued the case for incorporating ideas from innate immunity into artificial immune systems (AISs) and presented an outline for a conceptual framewo...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper describes visualization of chaotic attractor and elements of the singularities in 3D space. 3D view of these effects enables to create a demonstrative projection about r...