4209 search results - page 476 / 842 » Abstract Dialectical Frameworks |
182
click to vote
CCS
2005
ACM
16 years 9 days 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...
190
click to vote
DSSCV
2005
Springer
16 years 9 days 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...
144
click to vote
ECAL
2005
Springer
16 years 9 days 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...
164
click to vote
ECAL
2005
Springer
16 years 9 days 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...
156
click to vote
ECAL
2005
Springer
16 years 9 days 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...