5205 search results - page 170 / 1041 » Tilings and model theory |
SAC
2004
ACM
14 years 3 months ago
2004
ACM
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
GG
2004
Springer
14 years 3 months ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
ECAL
2007
Springer
14 years 4 months ago
2007
Springer
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
CSL
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...