Sciweavers

3342 search results - page 201 / 669
» Symbolic Robustness Analysis
Sort
View
PODC
2010
ACM
15 years 10 months ago
Brief announcement: towards robust medium access in multi-hop networks
This paper introduces the distributed MAC protocol Jade. We consider a multi-hop wireless network with a single communication channel in which a powerful adversary is able to jam ...
Andréa W. Richa, Jin Zhang, Christian Schei...
DAGM
2006
Springer
15 years 10 months ago
Robust MEG Source Localization of Event Related Potentials: Identifying Relevant Sources by Non-Gaussianity
Independent Component Analysis (ICA) is a frequently used preprocessing step in source localization of MEG and EEG data. By decomposing the measured data into maximally independent...
Peter Breun, Moritz Grosse-Wentrup, Wolfgang Utsch...
SIP
2003
15 years 7 months ago
Robust Range Data Segmentation using Geometric Primitives for Robotic Applications
This paper presents a data-driven approach for segmenting range data to enable a humanoid robot to perform interactive domestic tasks. Range data is segmented into geometric primi...
Geoffrey Taylor, Lindsay Kleeman
GLOBECOM
2008
IEEE
15 years 7 months ago
Robust Edge Detection in Wireless Sensor Networks
Abstract— The ability to geometrically represent sensed phenomena within a wireless sensor network can provide a more concise view than enumeration of all nodes identifying a phe...
Christopher J. Mallery, Muralidhar Medidi
CN
2006
117views more  CN 2006»
15 years 6 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance