12981 search results - page 2302 / 2597 » Model Checking (Abstract) |
183
click to vote
FC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we describe several fault attacks on the Advanced Encryption Standard (AES). First, using optical/eddy current fault induction attacks as recently publicly ...
157
click to vote
FIMH
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
188
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In developing algorithms that dynamically changes the structure and weights of ANN (Artificial Neural Networks), there must be a proper balance between network complexit...
153
click to vote
ICANN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper proposes a general approach named ExpectationMiniMax (EMM) for clustering analysis without knowing the cluster number. It describes the contrast function of Ex...
146
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...