12981 search results - page 2302 / 2597 » Model Checking (Abstract) |
148
click to vote
FC
2003
Springer
15 years 9 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 ...
123
click to vote
FIMH
2003
Springer
15 years 9 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...
151
click to vote
GECCO
2003
Springer
15 years 9 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...
119
click to vote
ICANN
2003
Springer
15 years 9 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...
113
click to vote
ICCS
2003
Springer
15 years 9 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 ...