318 search results - page 8 / 64 » Formal Description of Autopoiesis Based on the Theory of Cat... |
CCS
2011
ACM
12 years 6 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
CORR
2004
Springer
13 years 6 months ago
2004
Springer
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...
GECCO
2007
Springer
14 years 26 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
DAC
2006
ACM
14 years 7 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
The probabilistic formalism of quantum physics is said to provide a sound basis for building a principled information retrieval framework. Such a framework can be based on the not...