Sciweavers

12084 search results - page 373 / 2417
» Effect Systems with Subtyping
Sort
View
ICC
2007
IEEE
112views Communications» more  ICC 2007»
16 years 1 months ago
Error Probability of OFDM Systems Impaired by Carrier Frequency Offset in Frequency Selective Rayleigh Fading Channels
— Orthogonal Frequency Division Multiplexing (OFDM) is sensitive to Carrier Frequency Offset (CFO), which destroys the orthogonality and causes Inter-Carrier Interference (ICI). ...
Peng Zhou, Ming Jiang, Chunming Zhao, Wei Xu
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
16 years 1 months ago
Port-Hamiltonian approaches to motion generation for mechanical systems
— This paper gives new motion generation methods for mechanical port-Hamiltonian systems. First, we propose a generation method based on an asymptotic stabilization method withou...
Satoru Sakai, Stefano Stramigioli
IROS
2007
IEEE
154views Robotics» more  IROS 2007»
16 years 1 months ago
3, 000-fps 3-D shape measurement using a high-speed camera-projector system
— This paper proposes a high frame rate 3-D shape measurement system based on structured light projection using temporally-coded binary patterns. This system consists of a DMD (D...
Joji Takei, Shingo Kagami, Koichi Hashimoto
CONCUR
2007
Springer
16 years 1 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari
EUROPAR
2007
Springer
16 years 1 months ago
Starvation-Free Transactional Memory-System Protocols
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
M. M. Waliullah, Per Stenström