3729 search results - page 198 / 746 » On Formal Modeling of Agent Computations |
237
click to vote
WOA
2010
15 years 4 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
156
click to vote
IJCAI
2007
15 years 8 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
186
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...
163
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
158
click to vote
COGSCI
2007
15 years 6 months ago
2007
Languages are transmitted from person to person and generation to generation via a process of iterated learning: people learn a language from other people who once learned that la...