Sciweavers

48 search results - page 2 / 10
» Small-Bias Spaces for Group Products
Sort
View
CSCW
2010
ACM
14 years 1 months ago
Beyond Wikipedia: coordination and conflict in online production groups
Online production groups have the potential to transform the way that knowledge is produced and disseminated. One of the most widely used forms of online production is the wiki, w...
Aniket Kittur, Robert E. Kraut
AMAST
2006
Springer
13 years 8 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ICPR
2008
IEEE
13 years 11 months ago
Navigation using a spherical camera
A novel group theoretical method is proposed for autonomous navigation based on a spherical image camera. The environment of a robot is captured on a sphere. The three dimensional...
Raman Arora, Harish Parthasarathy
JSYML
2006
79views more  JSYML 2006»
13 years 4 months ago
Local-global properties of positive primitive formulas in the theory of spaces of orderings
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...
M. Marshall
BMCBI
2006
207views more  BMCBI 2006»
13 years 5 months ago
A new measure for functional similarity of gene products based on Gene Ontology
Background: Gene Ontology (GO) is a standard vocabulary of functional terms and allows for coherent annotation of gene products. These annotations provide a basis for new methods ...
Andreas Schlicker, Francisco S. Domingues, Jö...