Sciweavers

449 search results - page 31 / 90
» Distributed Reasoning in a Peer-to-Peer Setting
Sort
View
ICPADS
2008
IEEE
15 years 4 months ago
Bootstrapping in Peer-to-Peer Systems
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
Mirko Knoll, Arno Wacker, Gregor Schiele, Torben W...
ICRA
2005
IEEE
154views Robotics» more  ICRA 2005»
15 years 3 months ago
Agent-based Application Framework for Multiple Mobile Robots Cooperation
— We present an agent-based framework for the development of distributed applications for a team of heterogenous mobile robots. The main goal is to ease the development of cooper...
Patricio Nebot, Enric Cervera
AE
2003
Springer
15 years 3 months ago
A Study of Diversity in Multipopulation Genetic Programming
In this work we study how using multiple communicating populations instead of a single panmictic one may help in maintaining diversity during GP runs. After defining suitable geno...
Marco Tomassini, Leonardo Vanneschi, Francisco Fer...
TASE
2009
IEEE
15 years 4 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ECSQARU
1999
Springer
15 years 2 months ago
A Critique of Inductive Causation
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
Christian Borgelt, Rudolf Kruse