2095 search results - page 71 / 419 » Describing Groups |
148
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
237
click to vote
IJKM
2007
15 years 5 months ago
2007
: Knowledge management is a relatively young discipline. Nevertheless, it has accumulated a valuable body-of-knowledge in the structuring of knowledge and in the design of socio-te...
160
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
Organizations have long had the need to record and protect the knowledge that is their intellectual capital. However, the primary burden for knowledge management has been borne by...
187
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
134
Voted
JSC
2010
15 years 3 months ago
2010
We describe an algorithm for computing automorphism groups and testing isomorphisms of finite dimensional Lie algebras over finite fields. The algorithm is particularly effect...