5639 search results - page 1046 / 1128 » Timed Abstract Non-interference |
105
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
112
click to vote
IROS
2007
IEEE
15 years 8 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...
133
Voted
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Several network security and QoS applications require detecting multiple string matches in the packet payload by comparing it against predefined pattern set. This proc...
106
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
138
click to vote
LCN
2007
IEEE
15 years 8 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...