3729 search results - page 558 / 746 » On Formal Modeling of Agent Computations |
174
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
181
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...
144
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. How to create effective body animations for virtual agents with emotions remains the state of the art for human animators and a great challenge for computer scientists. I...
143
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
157
click to vote
CEEMAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...