2854 search results - page 35 / 571 » A Study of the Genus of a Group |
AIML
2008
13 years 9 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
ICWSM
2008
13 years 9 months ago
2008
We study here Flickr groups in order to see whether they are actual communities or rather essentially thematic clusters. We describe a methodological framework for the analysis of...
CANDC
2007
ACM
13 years 12 months ago
2007
ACM
In this paper, we present a qualitative case study of group creativity online in the domain of mathematics. We define creative work broadly, ranging from the micro-level coconstru...
IPCO
2007
13 years 9 months ago
2007
We study the Master Equality Polyhedron (MEP) which generalizes the Master Cyclic Group Polyhedron and the Master Knapsack Polyhedron. We present an explicit characterization of t...
ICDCSW
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...