511 search results - page 27 / 103 » More Precise Partition Abstractions |
115
Voted
DATE
2006
IEEE
15 years 8 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...
111
Voted
ACISP
2006
Springer
15 years 8 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...
123
Voted
WIA
2004
Springer
15 years 8 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...
162
Voted
ESOP
1992
Springer
15 years 6 months 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...
134
Voted
ICANN
2007
Springer
15 years 6 months 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...