Sciweavers

13099 search results - page 96 / 2620
» Cooperative method development
Sort
View
MKM
2007
Springer
15 years 6 months ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
EASSS
2001
Springer
15 years 4 months ago
Cooperating Physical Robots: A Lesson in Playing Robotic Soccer
Having a robot that carries out a task for you is certainly of some help. Having a group of robots seems to be even better because in this case the task may be finished faster and...
Bernhard Nebel
AMW
2010
15 years 1 months ago
Cooperative Authorship Social Network
This paper introduces a set of challenges for developing a dissemination service over a Web collaborative network. We define specific metrics for working on a co-authorship researc...
Giseli Rabello Lopes, Mirella M. Moro, Leandro Kru...
IWINAC
2007
Springer
15 years 6 months ago
Tackling the Error Correcting Code Problem Via the Cooperation of Local-Search-Based Agents
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is firs...
Jhon Edgar Amaya, Carlos Cotta, Antonio J. Fern&aa...
CIG
2005
IEEE
15 years 5 months ago
Utile Coordination: Learning Interdependencies Among Cooperative Agents
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
Jelle R. Kok, Pieter Jan't Hoen, Bram Bakker, Niko...