2137 search results - page 208 / 428 » Proving Abstract Non-interference |
115
Voted
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We study statistical tests with binary output that rarely outputs one, which we call nearly one-sided statistical tests. We provide an efficient reduction establishing im...
132
click to vote
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We generalize the Weil descent construction of the GHS attack to arbitrary Artin-Schreier extensions. We give a formula for the characteristic polynomial of Frobenius of ...
134
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
105
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
144
Voted
IBPRIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we propose a supervised method for the segmentation of masses in mammographic images. The algorithm starts with a selected pixel inside the mass, which has ...