451 search results - page 6 / 91 » Relationless Completeness and Separations |
TPHOL
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...
SACMAT
2006
ACM
14 years 20 days ago
2006
ACM
Separation of Duty (SoD) is widely recognized to be a fundamental principle in computer security. A Static SoD (SSoD) policy states that in order to have all permissions necessary...
DASFAA
1999
IEEE
13 years 11 months ago
1999
IEEE
The spatial query has been processed in two steps, the filter step and the refinement step, due to a large volume and high complexity of the spatial data. However, this approach h...
ICIP
1999
IEEE
14 years 8 months ago
1999
IEEE
In this paper, we present a VLSI architecture for separable 2-D Discrete Wavelet Transform (DWT). Based on 1-D DWT Recursive Pyramid Algorithm (RPA), a complete 2-D DWT output sch...