220 search results - page 25 / 44 » Logic-Based Agent Verification |
JUCS
2008
13 years 9 months ago
2008
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
ESA
2008
Springer
13 years 11 months ago
2008
Springer
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
IDEAL
2007
Springer
14 years 4 months ago
2007
Springer
We present a face verification system using Parallel Gabor Principal Component Analysis (PGPCA) and fusion of Support Vector Machines (SVM) scores. The algorithm has been tested on...