Sciweavers

3406 search results - page 486 / 682
» Computational models of classical conditioning
Sort
View
FOSSACS
2009
Springer
16 years 12 days ago
Cryptographic Protocol Composition via the Authentication Tests
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
Joshua D. Guttman
FOSSACS
2005
Springer
15 years 11 months ago
Duality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
Marcello M. Bonsangue, Alexander Kurz
142
Voted
GECCO
2005
Springer
103views Optimization» more  GECCO 2005»
15 years 11 months ago
Validation of evolutionary activity metrics for long-term evolutionary dynamics
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...
Andrew Stout, Lee Spector
135
Voted
ICANN
2005
Springer
15 years 11 months ago
Accurate and Robust Image Superresolution by Neural Processing of Local Image Representations
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
Carlos Miravet, Francisco de Borja Rodrígue...
IWINAC
2005
Springer
15 years 11 months ago
Simulation of Orientation Contrast Sensitive Cell Behavior in TiViPE
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
Tino Lourens, Emilia I. Barakova