10733 search results - page 423 / 2147 » Distributed XML design |
164
click to vote
GECCO
2004
Springer
16 years 6 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 ...
186
Voted
ICLP
2004
Springer
16 years 5 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 ...
200
click to vote
LPAR
2004
Springer
16 years 5 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...
155
click to vote
MKM
2004
Springer
16 years 5 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...
175
click to vote
ICALT
2003
IEEE
16 years 3 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...