237 search results - page 10 / 48 » Gaia Agents Implementation through Models Transformation |
IJCAI
1993
15 years 1 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
DOA
2001
15 years 1 months ago
2001
Mobile agents are a useful paradigm for the development of complex Internet applications. However, the effective development of mobile agent applications requires suitable models ...
JCS
2008
14 years 11 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
100
click to vote
PR
2006
14 years 11 months ago
2006
: We address the pose mismatch problem which can occur in face verification systems that have only a single (frontal) face image available for training. In the framework of a Bayes...
126
click to vote
ACOM
2006
Springer
15 years 5 months ago
2006
Springer
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...