Sciweavers

2149 search results - page 204 / 430
» Form over Substance
Sort
View
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
16 years 1 months ago
Tracking groups of people with a multi-model hypothesis tracker
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard
INFOCOM
2009
IEEE
16 years 1 months ago
Minimizing End-to-End Delay: A Novel Routing Metric for Multi-Radio Wireless Mesh Networks
—This paper studies how to select a path with the minimum cost in terms of expected end-to-end delay (EED) in a multi-radio wireless mesh network. Different from the previous eff...
Hongkun Li, Yu Cheng, Chi Zhou, Weihua Zhuang
IROS
2009
IEEE
223views Robotics» more  IROS 2009»
16 years 1 months ago
On the consistency of EKF-SLAM: Focusing on the observation models
— In this paper a new strategy for handling the observation information of a bearing-range sensor throughout the filtering process of EKF-SLAM is proposed. This new strategy is ...
Amir Hossein Tamjidi, Hamid D. Taghirad, Ali Akbar...
ATAL
2009
Springer
16 years 1 months ago
Hedonic coalition nets
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
Edith Elkind, Michael Wooldridge
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo