Sciweavers

193 search results - page 22 / 39
» Key Derivation for Squared-Friendly Applications: Lower Boun...
Sort
View
SIGPRO
2010
99views more  SIGPRO 2010»
14 years 8 months ago
Oversampled phase tracking in digital communications with large excess bandwidth
This paper deals with the on-line carrier phase estimation in a digital receiver. We consider a Brownian phase evolution in a Data Aided scenario. The proposed study uses an overs...
Jordi Vilà-Valls, Jean-Marc Brossier, Laure...
117
Voted
CVPR
2012
IEEE
13 years 1 days ago
Micro Phase Shifting
We consider the problem of shape recovery for real world scenes, where a variety of global illumination (interreflections, subsurface scattering, etc.) and illumination defocus e...
Mohit Gupta, Shree K. Nayar
JAR
2010
160views more  JAR 2010»
14 years 8 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
APN
2010
Springer
14 years 7 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund
ICASSP
2009
IEEE
15 years 4 months ago
A fast asymptotically efficient algorithm for blind separation of a linear mixture of block-wise stationary autoregressive proce
We propose a novel blind source separation algorithm called Block AutoRegressive Blind Identification (BARBI). The algorithm is asymptotically efficient in separation of instant...
Petr Tichavský, Arie Yeredor, Zbynek Koldov...