416 search results - page 57 / 84 » Intellectual Property and Open Systems |
ENTCS
2002
13 years 10 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
CSL
2007
Springer
14 years 5 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
MIR
2005
ACM
14 years 4 months ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
ICPP
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
ATAL
1999
Springer
14 years 3 months ago
1999
Springer
Large scale open multi-agent systems where agents need services of other agents but may not know their contact information require agent location mechanisms. Solutions to this pro...