Sciweavers

687 search results - page 41 / 138
» On The Complexity of Manipulating Elections
Sort
View
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
15 years 1 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»
15 years 10 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»
15 years 6 months 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...
111
Voted
WIA
2009
Springer
15 years 8 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...
114
Voted
MKM
2009
Springer
15 years 8 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