511 search results - page 27 / 103 » More Precise Partition Abstractions |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...
ACISP
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We present a distinguishing attack against SOBER-128 with linear masking. We found a linear approximation which has a bias of 2−8.8 for the non-linear filter. The atta...
WIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Hopcroft’s algorithm for minimizing a deterministic automaton has complexity O(n log n). We show that this complexity bound is tight. More precisely, we provide a famil...
ESOP
1992
Springer
14 years 26 days ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
ICANN
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. In this paper, we will address the endeavors of three disciplines, Psychology, Neuroscience, and Artificial Neural Network (ANN) modeling, in explaining how the mind perc...