906 search results - page 82 / 182 » Linking Theories of Concurrency |
XPU
2007
Springer
15 years 4 months ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
ICAIL
2007
ACM
15 years 1 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
AUSAI
2008
Springer
14 years 12 months ago
2008
Springer
This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution s...
JAPLL
2008
14 years 10 months ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...
EOR
2007
14 years 9 months ago
2007
The aim of this work is to present a numerical measure of the importance of each player in a cooperative game when the cooperation possibilities are limited according to the links...