449 search results - page 7 / 90 » Distributed Reasoning in a Peer-to-Peer Setting |
PERCOM
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
JUCS
2010
14 years 8 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
KDD
1999
ACM
15 years 2 months ago
1999
ACM
In this paper a concern about the accuracy (as a function of parallelism) of a certain class of distributed learning algorithms is raised, and one proposed improvement is illustrat...