Sciweavers

687 search results - page 41 / 138
» On The Complexity of Manipulating Elections
Sort
View
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
13 years 8 months ago
Decentralized control of cooperative robots without velocity-force measurements
: One of the main practical problems on cooperative robots is the complexity of integrating a large amount of expensive velocity/force sensors. In this paper, the control of cooper...
Juan C. Martínez-Rosas, Marco A. Arteaga, A...
ICCAD
2006
IEEE
102views Hardware» more  ICCAD 2006»
14 years 4 months ago
From micro to nano: MEMS as an interface to the nano world
Leveraging conventional microsystems technology, MEMS has become the technology of choice for a wide range of applications including inertial sensors for automotive, games, and co...
Bernhard E. Boser
TACAS
1997
Springer
105views Algorithms» more  TACAS 1997»
14 years 2 days ago
Graphs in METAFrame: The Unifying Power of Polymorphism
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...
Michael von der Beeck, Volker Braun, Andreas Cla&s...
WIA
2009
Springer
14 years 2 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
MKM
2009
Springer
14 years 2 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger