Sciweavers

1422 search results - page 170 / 285
» Complementation in Abstract Interpretation
Sort
View
ASIACRYPT
2004
Springer
15 years 9 months ago
How Far Can We Go Beyond Linear Cryptanalysis?
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...
Thomas Baignères, Pascal Junod, Serge Vaude...
118
Voted
FC
2004
Springer
78views Cryptology» more  FC 2004»
15 years 9 months ago
Secure Interaction Design
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
Ka-Ping Yee
GECCO
2004
Springer
15 years 9 months ago
Inducing Sequentiality Using Grammatical Genetic Codes
Abstract. This paper studies the inducement of sequentiality in genetic algorithms (GAs) for uniformly-scaled problems. Sequentiality is a phenomenon in which sub-solutions converg...
Kei Ohnishi, Kumara Sastry, Ying-Ping Chen, David ...
KELSI
2004
Springer
15 years 9 months ago
Modelling and Prediction of Toxicity of Environmental Pollutants
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
Frank Lemke, Johann-Adolf Müller, Emilio Benf...
123
Voted
LPAR
2004
Springer
15 years 9 months ago
Uniform Rules and Dialogue Games for Fuzzy Logics
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
Agata Ciabattoni, Christian G. Fermüller, Geo...