687 search results - page 45 / 138 » On The Complexity of Manipulating Elections |
HCI
2009
13 years 5 months ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
GRAPHITE
2003
ACM
14 years 1 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
ASAP
2003
IEEE
14 years 1 months ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...