687 search results - page 49 / 138 » On The Complexity of Manipulating Elections |
HRI
2010
ACM
13 years 8 months ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
INFSOF
2002
13 years 7 months ago
2002
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
AUSDM
2007
Springer
14 years 2 months ago
2007
Springer
This paper reports the results of feature reduction in the analysis of a population based dataset for which there were no specific target variables. All attributes were assessed a...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Convoy driving on public highways is a useful phenomena which increases the safety and the throughput of the highway. We present an approach through which a wireless Convoy Dri...