Sciweavers

891 search results - page 57 / 179
» Full Abstraction for PCF
Sort
View
IROS
2006
IEEE
115views Robotics» more  IROS 2006»
14 years 1 months ago
Visual Tracking Modalities for a Companion Robot
Abstract— This article presents the development of a humanrobot interaction mechanism based on vision. The functionalities required for such mechanism range from user detection a...
Paulo Menezes, Frédéric Lerasle, Jor...
IROS
2006
IEEE
120views Robotics» more  IROS 2006»
14 years 1 months ago
Optimal local map size for EKF-based SLAM
Abstract— In this paper we show how to optimize the computational cost and maximize consistency in EKF-based SLAM for large environments. We combine Local Mapping with Map Joinin...
Lina María Paz, José Neira
VTC
2006
IEEE
211views Communications» more  VTC 2006»
14 years 1 months ago
Amplify-and-Forward Cooperative Transmission with Multiple Relays Using Phase Feedback
Abstract-Cooperative transmission obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. Although the amplify-and-forward (AF) cooperati...
Dongwoo Lee, Young Seok Jung, Jae Hong Lee
VTC
2006
IEEE
14 years 1 months ago
IQ Space Frequency Time Codes for MIMO-OFDM Systems
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
Samir Al-Ghadhban, R. Michael Buehrer, Brian D. Wo...
ACOM
2006
Springer
14 years 1 months ago
Temporal Logics for Representing Agent Communication Protocols
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
Ulle Endriss