687 search results - page 52 / 138 » On The Complexity of Manipulating Elections |
DAIS
2010
13 years 9 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
BXML
2004
13 years 9 months ago
2004
: The system presented in this paper shows an alternative solution for the communication problem in virtual teams. Although it does not address the full bandwidth of tasks of an gr...
ENTCS
2008
13 years 8 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
PVM
2010
Springer
13 years 6 months ago
2010
Springer
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper deals with the problem of controlling a robot during a physical interaction through a representation of its tactile system. Although the force feedback has been widely u...