1070 search results - page 93 / 214 » Type Classes with Functional Dependencies |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
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...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
— 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...
FLOPS
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
FSTTCS
1992
Springer
14 years 1 months ago
1992
Springer
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...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— 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...