357 search results - page 45 / 72 » Algorithms for the coalitional manipulation problem |
129
click to vote
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
79
Voted
IEEECGIV
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a novel approach to the problem of hairstyle construction from raw surface data such as the ones obtained from surface scans. Our approach is based on a shape matching ...
106
click to vote
NCA
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
– This paper presents a new singularity robust and computationally efficient method for solving the inverse kinematics (IK) problem. In this method, the transformation from Carte...