687 search results - page 81 / 138 » On The Complexity of Manipulating Elections |
TSE
2008
13 years 8 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
UIST
2010
ACM
13 years 6 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
AAAI
2012
11 years 10 months ago
2012
The complexity of the winner determination problem has been studied for almost all common voting rules. A notable exception, possibly caused by some confusion regarding its exact ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
BTW
2009
Springer
14 years 2 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...