5084 search results - page 629 / 1017 » Proving Possibility Properties |
196
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- We consider the problem of identifying insiderbased attacks in the form of jammers in multi-channel wireless networks, where jammers have the inside knowledge of frequen...
178
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
222
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
184
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
219
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...