3931 search results - page 454 / 787 » Separation logic and abstraction |
131
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
167
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Virtual Prototyping with haptic feedback offers great benefits in the development process of actuated systems. We present a generic control scheme for the haptic render...
165
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we consider data-aided carrier frequency estimation for burst mode transmission in low signal-tonoise ratio (SNR) environments. It is well known from lit...
165
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Beamforming (BF) for multiple-input multipleoutput (MIMO) wireless communications systems can improve the error rate performance by spatial separation of the transmitte...
160
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Electrical characterization of the resistance, capacitance, and inductance of inter-plane 3-D vias is presented in this paper. Both capacitive and inductive coupling be...