2188 search results - page 167 / 438 » group 2007 |
121
Voted
AIED
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a computerized collaborative testing environment in which students can take an assessment session in groups. For each question, an individual response is first...
125
Voted
FFA
2008
15 years 4 months ago
2008
A projective plane is called a translation plane if there exists a line L such that the group of elations with axis L acts transitively on the points not on L. A translation plane...
152
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
100
click to vote
ECCC
2007
15 years 4 months ago
2007
We give a self-contained exposition of selected results in additive combinatorics over the group GF(2)n = {0, 1}n. In particular, we prove the celebrated theorems known as the Bal...
131
click to vote
ENDM
2007
15 years 4 months ago
2007
This paper initiates a study of the connection between graph homomorphisms and the Tutte polynomial. This connection enables us to extend the study to other important polynomial i...