Sciweavers

687 search results - page 75 / 138
» On The Complexity of Manipulating Elections
Sort
View
FAC
2002
66views more  FAC 2002»
13 years 7 months ago
Shallow Linear Action Graphs and their Embeddings
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
James J. Leifer, Robin Milner
DEBU
1999
102views more  DEBU 1999»
13 years 7 months ago
Repository Support for Metadata-based Legacy Migration
Migrating legacy systems involves replacing (either wholly or partially) existing systems and databases, and complex transformations between old and new data, processes and system...
Sandra Heiler, Wang-Chien Lee, Gail Mitchell
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
13 years 6 months ago
Port-Hamiltonian analysis of a novel robotic finger concept for minimal actuation variable impedance grasping
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...
Martin Wassink, Raffaella Carloni, Stefano Stramig...
BMCBI
2005
92views more  BMCBI 2005»
13 years 8 months ago
FIGENIX: Intelligent automation of genomic annotation: expertise integration in a new software platform
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
Philippe Gouret, Vérane Vitiello, Nathalie ...
IPSN
2007
Springer
14 years 2 months ago
The regiment macroprogramming system
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
Ryan Newton, Greg Morrisett, Matt Welsh