Sciweavers

1070 search results - page 93 / 214
» Type Classes with Functional Dependencies
Sort
View
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
14 years 11 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
130
Voted
ICC
2008
IEEE
133views Communications» more  ICC 2008»
15 years 10 months ago
Memoryless Relay Strategies for Two-Way Relay Channels: Performance Analysis and Optimization
— We consider relaying strategies for two-way relay channels, where two terminals transmits simultaneously to each other with the help of relays. A memoryless system is considere...
Tao Cui, Jörg Kliewer
FLOPS
2006
Springer
15 years 7 months ago
"Scrap Your Boilerplate" Reloaded
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
Ralf Hinze, Andres Löh, Bruno C. D. S. Olivei...
FSTTCS
1992
Springer
15 years 8 months ago
Structural Average Case Complexity
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...
Rainer Schuler, Tomoyuki Yamakami
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 8 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...