687 search results - page 83 / 138 » On The Complexity of Manipulating Elections |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
UIST
1993
ACM
14 years 4 days ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
SIGGRAPH
2000
ACM
13 years 11 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...
SMA
2008
ACM
13 years 8 months ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...