3342 search results - page 589 / 669 » Symbolic Robustness Analysis |
160
click to vote
IJRR
2007
15 years 6 months ago
2007
Abstract— In this paper, we present an algorithm for autonomous stair climbing with a tracked vehicle. The proposed method achieves robust performance under real-world conditions...
174
click to vote
TIFS
2008
15 years 6 months ago
2008
Authentication is the process where claims of identity are verified. Most mechanisms of authentication (e.g., digital signatures and certificates) exist above the physical layer, t...
168
click to vote
TIFS
2008
15 years 6 months ago
2008
The various image-processing stages in a digital camera pipeline leave telltale footprints, which can be exploited as forensic signatures. These footprints consist of pixel defects...
209
click to vote
TIFS
2008
15 years 6 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
238
click to vote
TIP
2008
15 years 6 months ago
2008
Detection of moving objects in video streams is the first relevant step of information extraction in many computer vision applications. Aside from the intrinsic usefulness of being...