5267 search results - page 578 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
181
click to vote
ETFA
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
186
click to vote
AICOM
2010
15 years 7 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
190
click to vote
OPODIS
2004
15 years 9 months ago
2004
Abstract. We consider the issue of task assignment in a distributed system under heavy-tailed (ie. highly variable) workloads. A new adaptable approach called TAPTF (Task Assignmen...
222
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
233
click to vote
TPLP
2002
15 years 7 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...