222 search results - page 31 / 45 » E-Matching with Free Variables |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Binary Offset Carrier, BOC, modulated signals are at the moment candidates both for new civil (free) signal in GPS update and for part of the European Global Navigation Satelli...
IWMM
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We examine the motion control bandwidth and stable impedance range of the Cobotic Hand Controller, a novel, six-degree-offreedom, admittance controlled haptic display. A highly ge...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Quasistatic multi-legged locomotion consists of a sequence of equilibrium postures where the mechanism supports itself against gravity while moving free limbs to new positions....
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...