29046 search results - page 193 / 5810 » Computable Models |
122
Voted
IWINAC
2007
Springer
15 years 9 months ago
2007
Springer
The computer model of visual attention derives an interest or saliency map from an input image in a process that encompasses several data combination steps. While several combinati...
103
Voted
NIPS
2004
2004
Methods for Estimating the Computational Power and Generalization Capability of Neural Microcircuits
15 years 4 months ago
What makes a neural microcircuit computationally powerful? Or more precisely, which measurable quantities could explain why one microcircuit C is better suited for a particular fa...
132
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
118
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
119
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...