Sciweavers

3131 search results - page 319 / 627
» Generalized connection caching
Sort
View
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
15 years 11 months ago
Articulated Structures with Tendon Actuation for Whole-Limb Manipulation
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
Paolo Petreschi, Domenico Prattichizzo, Antonio Bi...
ISMVL
1994
IEEE
87views Hardware» more  ISMVL 1994»
15 years 11 months ago
Multiple-Valued-Input TANT Networks
The paper proposes mvTANTs, three-level networks with multiple-valued inputs and binary outputs. These networks are a generalization of binary TANTs (Three level And Not networks...
Marek A. Perkowski, Malgorzata Chrzanowska-Jeske
190
Voted
CDC
2009
IEEE
227views Control Systems» more  CDC 2009»
15 years 11 months ago
A graph-theoretic characterization of structural controllability for multi-agent system with switching topology
This paper considers the controllability problem for multi-agent systems. In particular, the structural controllability of multi-agent systems with a single leader under switching ...
Xiaomeng Liu, Hai Lin, Ben M. Chen
180
Voted
DEBS
2007
ACM
15 years 11 months ago
Adapting publish-subscribe routing to traffic demands
Most of currently available content-based publish-subscribe systems that were designed to operate in large scale, wired scenarios, build their routing infrastructure as a set of b...
Matteo Migliavacca, Gianpaolo Cugola
RTA
2010
Springer
15 years 11 months ago
A Proof Calculus Which Reduces Syntactic Bureaucracy
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
Alessio Guglielmi, Tom Gundersen, Michel Parigot