29046 search results - page 193 / 5810 » Computable Models |
178
click to vote
IWINAC
2007
Springer
16 years 1 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...
145
click to vote
NIPS
2004
2004
Methods for Estimating the Computational Power and Generalization Capability of Neural Microcircuits
15 years 8 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...
188
Voted
ICSE
2008
IEEE-ACM
16 years 7 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...
163
Voted
IFIP
2004
Springer
16 years 10 days 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...
181
click to vote
ESOP
2005
Springer
16 years 15 days 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 ...