Sciweavers

4965 search results - page 669 / 993
» A Simple Abstraction for Data Modeling
Sort
View
TIFS
2010
227views more  TIFS 2010»
15 years 1 months ago
Region Duplication Detection Using Image Feature Matching
Abstract--Region duplication is a simple and effective operation to create digital image forgeries, where a continuous portion of pixels in an image, after possible geometrical and...
Xunyu Pan, Siwei Lyu
TSP
2010
15 years 1 months ago
Decentralized sparse signal recovery for compressive sleeping wireless sensor networks
Abstract--This paper develops an optimal decentralized algorithm for sparse signal recovery and demonstrates its application in monitoring localized phenomena using energy-constrai...
Qing Ling, Zhi Tian
TWC
2010
15 years 1 months ago
Bandwidth exchange: an energy conserving incentive mechanism for cooperation
Cooperative forwarding in wireless networks has shown to yield rate and diversity gains, but it incurs energy costs borne by the cooperating nodes. In this paper we consider an inc...
Dan Zhang, Ryoichi Shinkuma, Narayan B. Mandayam
ICASSP
2011
IEEE
14 years 10 months ago
Cooperative sensing in cognitive networks under malicious attack
Abstract—This paper considers cooperative sensing in cognitive networks under Spectrum Sensing Data Falsification attack (SSDF) in which malicious users can intentionally send f...
Mai Abdelhakim, Lei Zhang, Jian Ren, Tongtong Li
POPL
2012
ACM
14 years 2 months ago
Recursive proofs for inductive tree data-structures
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Ste...