29046 search results - page 227 / 5810 » Computable Models |
132
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
107
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Great stride has been made in psychological research about primitives of visual perception, which is important to computer vision and image processing. In this paper, we propose a...
131
Voted
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
119
Voted
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Simulations using a computer model the Evolution Of Culture (EVOC) indicate that the clustering of creative agents decreases the mean fitness of ideas in the short term (when imit...
104
Voted
SAGA
2007
Springer
15 years 9 months ago
2007
Springer
We present two results for computational models that allow error probabilities close to 1/2. First, most computational complexity classes have an analogous class in communication ...