Sciweavers

2314 search results - page 145 / 463
» Monoids over domains
Sort
View
ICASSP
2008
IEEE
15 years 8 months ago
OFDM for underwater acoustic communications: Adaptive synchronization and sparse channel estimation
A phase synchronizationmethod, which provides non-uniform frequency offset compensation needed for wideband OFDM [1], is coupled with low-complexity channel estimation in the time...
Milica Stojanovic
131
Voted
KBSE
2007
IEEE
15 years 8 months ago
The eureka tool for software model checking
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
Alessandro Armando, Massimo Benerecetti, Dario Car...
ILP
2007
Springer
15 years 8 months ago
Beyond Prediction: Directions for Probabilistic and Relational Learning
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
David D. Jensen
ICMCS
2006
IEEE
310views Multimedia» more  ICMCS 2006»
15 years 8 months ago
An Optimal and Statistically Robust Correlation Technique for Block Based Motion Estimation
In this paper we propose an optimal and robust correlation technique for the local motion estimation purposes. It is based on the maximization of a statistical robust matching fun...
Fedwa Essannouni, Rachid Oulad Haj Thami, Ahmed Sa...
87
Voted
IEEECGIV
2006
IEEE
15 years 8 months ago
On Choosing Wavelet Resolution in Image Deblurring
In wavelet deblurring of noisy images the finest resolution levels are key parameters which require fine tuning. In this paper we present a blockwise thresholding rule in the Fo...
Laurent Cavalier, Marc Raimondo