10733 search results - page 423 / 2147 » Distributed XML design |
174
click to vote
GECCO
2004
Springer
16 years 14 days ago
2004
Springer
In this paper we describe an ant system algorithm (ASMC) for the problem of finding the maximum clique in a given graph. In the algorithm each ant has only local knowledge of the ...
194
click to vote
ICLP
2004
Springer
16 years 13 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
208
click to vote
LPAR
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
166
click to vote
MKM
2004
Springer
16 years 13 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
184
click to vote
ICALT
2003
IEEE
16 years 11 days ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...