2137 search results - page 197 / 428 » Proving Abstract Non-interference |
112
click to vote
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Normal mixture models are often used to cluster continuous data. However, conventional approaches for fitting these models will have problems in producing nonsingular es...
102
click to vote
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
108
Voted
ISNN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, from the cognition science point of view, we constructed a neuron of multi-weighted neural network, and proposed a new method for iris recognition based on...
114
click to vote
ISW
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...
121
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...