Sciweavers

147 search results - page 16 / 30
» Logarithmic keying
Sort
View
SIGPRO
2008
130views more  SIGPRO 2008»
13 years 9 months ago
Cepstrum of bispectrum - A new approach to blind system reconstruction
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
Shahjahan Shahid, Jacqueline Walker
JOC
2007
129views more  JOC 2007»
13 years 9 months ago
Formal Proofs for the Security of Signcryption
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
Joonsang Baek, Ron Steinfeld, Yuliang Zheng
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
13 years 9 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
JAPLL
2010
133views more  JAPLL 2010»
13 years 8 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
SIAMSC
2011
115views more  SIAMSC 2011»
13 years 4 months ago
A Fast and Stable Solver for Singular Integral Equations on Piecewise Smooth Curves
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
Johan Helsing