Sciweavers

2957 search results - page 544 / 592
» Code analysis and CS-XML
Sort
View
ICASSP
2011
IEEE
13 years 6 days ago
Video anomaly recovery from compressed spectral imaging
This paper addresses the problem of video anomaly recovery from a sequence of spectrally compressed video frames. Analysis of anomalies occurring in both time and spectrum is impo...
Ana B. Ramirez, Henry Arguello, Gonzalo R. Arce
ICASSP
2011
IEEE
13 years 6 days ago
Single-frame-based rain removal via image decomposition
Rain removal from a video is a challenging problem and has been recently investigated extensively. Nevertheless, the problem of rain removal from a single image has been rarely st...
Yu-Hsiang Fu, Li-Wei Kang, Chia-Wen Lin, Chiou-Tin...
ACNS
2011
Springer
231views Cryptology» more  ACNS 2011»
13 years 3 days ago
Cold Boot Key Recovery by Solving Polynomial Systems with Noise
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
Martin Albrecht, Carlos Cid
CAV
2011
Springer
202views Hardware» more  CAV 2011»
13 years 2 days ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
INFOCOM
2011
IEEE
12 years 12 months ago
Delay-bounded adaptive UFH-based anti-jamming wireless communication
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
Qian Wang, Ping Xu, Kui Ren, Xiang-yang Li