13 search results - page 1 / 3 » Vote Counting as Mathematical Proof |
100
click to vote
LICS
1998
IEEE
15 years 2 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
165
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
ESORICS
2003
Springer
15 years 3 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
IJCGA
2010
14 years 7 months ago
2010
Symmetry equations are obtained for the rigidity matrix of a bar-joint framework in Rd . These form the basis for a short proof of the FowlerGuest symmetry group generalisation of...
95
Voted
MSS
2010
IEEE
14 years 8 months ago
2010
IEEE
Distributional analysis is widely used to study social choice in Euclidean models [35, 36, 1, 5, 11, 19, 8, 2, e.g]. This method assumes a continuum of voters distributed accordin...