4209 search results - page 476 / 842 » Abstract Dialectical Frameworks |
151
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
157
Voted
DSSCV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
104
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper focuses on the environmental role in morphogenesis in dynamic morphologies (DM). We discuss the benefits of morphological plasticity (MP) and introduce our En...
138
Voted
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
131
Voted
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, brain models attempt to support cognitive abilities of artificial organisms. Incremental approaches are often employed to support modelling process. The presen...