271 search results - page 47 / 55 » Making games for social change |
AAAI
2007
13 years 10 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
IDTRUST
2009
ACM
14 years 2 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
ECAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An important goal in cognitive development research is an understanding of the real-world physical and social environment in which learning takes place. However, the rele...
CANDT
2009
13 years 11 months ago
2009
Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions i...