687 search results - page 93 / 138 » On The Complexity of Manipulating Elections |
SCOPES
2004
Springer
14 years 1 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
GLVLSI
2003
IEEE
14 years 1 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
FGR
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we propose a fast and robust method for tracking a user’s hand and multiple fingertips; we then demonstrate gesture recognition based on measured fingertip traj...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a liquid-fuel powered pneumatic actuator appropriate for human-scale autonomous robotics. The motivation for this work is the development of a lightweight actu...
NOMS
2002
IEEE
14 years 1 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...