Sciweavers

256 search results - page 5 / 52
» Separation of NP-Completeness Notions
Sort
View
POPL
2005
ACM
14 years 7 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
CVPR
2005
IEEE
14 years 9 months ago
Shock Filters Based on Implicit Cluster Separation
One of the classic problems in low level vision is image restoration. An important contribution toward this effort has been the development of shock filters by Osher and Rudin [1]...
Vinay P. Namboodiri, Subhasis Chaudhuri
INDOCRYPT
2004
Springer
14 years 23 days ago
Separable Linkable Threshold Ring Signatures
A ring signature scheme is a group signature scheme with no group manager to setup a group or revoke a signer. A linkable ring signature, introduced by Liu, et al. [20], additional...
Patrick P. Tsang, Victor K. Wei, Tony K. Chan, Man...
ICASSP
2009
IEEE
14 years 2 months ago
Separation of a subspace-sparse signal: Algorithms and conditions
In this paper, we show how two classical sparse recovery algorithms, Orthogonal Matching Pursuit and Basis Pursuit, can be naturally extended to recover block-sparse solutions for...
Arvind Ganesh, Zihan Zhou, Yi Ma
COMPGEOM
1997
ACM
13 years 11 months ago
Time-Series Similarity Problems and Well-Separated Geometric Sets
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
Béla Bollobás, Gautam Das, Dimitrios...