Sciweavers

4987 search results - page 223 / 998
» Support Ordered Resolution
Sort
View
TOCL
2008
102views more  TOCL 2008»
15 years 4 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
TSP
2008
74views more  TSP 2008»
15 years 4 months ago
Performance of ESPRIT for Estimating Mixtures of Complex Exponentials Modulated by Polynomials
High Resolution (HR) methods are known to provide accurate frequency estimates for discrete spectra. The Polynomial Amplitude Complex Exponentials (PACE) model, also called quasipo...
Roland Badeau, Gaël Richard, Bertrand David
129
Voted
TSP
2008
115views more  TSP 2008»
15 years 4 months ago
The Shiftable Complex Directional Pyramid - Part I: Theoretical Aspects
Abstract--This paper presents an over-complete multiscale decomposition by combining the Laplacian pyramid and the complex directional filter bank (DFB). The filter bank is constru...
Truong T. Nguyen, Soontorn Oraintara
CACM
2004
90views more  CACM 2004»
15 years 4 months ago
Adaptive document layout
We present and explore a simple idea for improving document layout on arbitrary devices of different resolutions and size. The key idea is to allow manifold representations of con...
Charles E. Jacobs, Wilmot Li, Evan Schrier, David ...
COMPUTING
2004
115views more  COMPUTING 2004»
15 years 4 months ago
Length Preserving Multiresolution Editing of Curves
In this paper a method for multiresolution deformation of planar piecewise linear curves that preserves the curve length is presented. In a wavelet based multiresolution editing f...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...