441 search results - page 77 / 89 » A Method for Proving Observational Equivalence |
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
Abstract—This paper considers cooperative sensing in cognitive networks under Spectrum Sensing Data Falsification attack (SSDF) in which malicious users can intentionally send f...
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
We study the scenario of pixel-domain distributed video coding for noisy transmission environments and propose a method to allocate the available rate between source coding and ch...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
ICB
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. A critical step in automatic fingerprint recognition is the accurate segmentation of fingerprint images. The objective of fingerprint segmentation is to decide which part...
BMCBI
2010
13 years 9 months ago
2010
Background: Affymetrix GeneChip microarrays are popular platforms for expression profiling in two types of studies: detection of differential expression computed by p-values of t-...