12981 search results - page 2516 / 2597 » Model Checking and Abstraction |
109
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
131
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper, we present an image-based markerless human motion capture system, intended for humanoid robot systems. The restrictions set by this ambitious goal are nu...
109
click to vote
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
109
click to vote
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We present the Binocular Sparse Feature Segmentation (BSFS) algorithm for vision-based person following with a mobile robot. BSFS uses Lucas-Kanade feature detection an...
136
click to vote
LCN
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—In this work, we discuss how to support Video-onDemand service in multi-hop WiMax mesh networks. We are interested in the scenario that end users connect to the video se...