160 search results - page 9 / 32 » Approximability of Manipulating Elections |
ISAAC
2007
Springer
14 years 3 months ago
2007
Springer
This paper studies to which extent the social welfare of a game can be influenced by an interested third party within economic reason, i.e., by taking the implementation cost into...
ISER
2000
Springer
14 years 1 months ago
2000
Springer
: To conduct tasks that need high dexterity by teleoperation, a unified hand/arm master-slave system was developed. To measure the dexterity of individual teleoperation systems all...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
AAAI
2010
13 years 11 months ago
2010
The Gibbard-Satterthwaite Theorem asserts that any reasonable voting rule cannot be strategyproof. A large body of research in AI deals with circumventing this theorem via computa...
CAV
2012
Springer
12 years 2 days ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...