20197 search results - page 459 / 4040 » Comparing Computational Power |
155
click to vote
PODC
2006
ACM
16 years 25 days ago
2006
ACM
We consider the model of population protocols introduced by Angluin et al. [2], in which anonymous finite-state agents stably compute a predicate of their inputs via twoway inter...
175
click to vote
IWFM
2003
15 years 8 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
182
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We introduce and motivate crowd computing, which combines mobile devices and social interactions to achieve large-scale distributed computation. An opportunistic network of mobile...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
179
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...