Sciweavers

3779 search results - page 409 / 756
» Linear Consistency Testing
Sort
View
SAT
2009
Springer
132views Hardware» more  SAT 2009»
16 years 1 months ago
Relaxed DPLL Search for MaxSAT
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
Lukas Kroc, Ashish Sabharwal, Bart Selman
CVPR
2008
IEEE
16 years 1 months ago
A robust descriptor based on Weber's Law
Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human percept...
Jie Chen, Shiguang Shan, Guoying Zhao, Xilin Chen,...
ICC
2008
IEEE
123views Communications» more  ICC 2008»
16 years 1 months ago
A Physical-Layer Technique to Enhance Authentication for Mobile Terminals
Abstract— We propose an enhanced physical-layer authentication scheme for multi-carrier wireless systems, where transmission bursts consist of multiple frames. More specifically...
Liang Xiao, Larry J. Greenstein, Narayan B. Manday...
ICDM
2008
IEEE
176views Data Mining» more  ICDM 2008»
16 years 1 months ago
Inlier-Based Outlier Detection via Direct Density Ratio Estimation
We propose a new statistical approach to the problem of inlier-based outlier detection, i.e., finding outliers in the test set based on the training set consisting only of inlier...
Shohei Hido, Yuta Tsuboi, Hisashi Kashima, Masashi...
ICIP
2008
IEEE
16 years 1 months ago
Impact of subjective dataset on the performance of image quality metrics
The interest in objective quality assessment have significantly increased over the past decades. Several objective quality metrics have been proposed and made publicly available,...
Sylvain Tourancheau, Florent Autrusseau, Parvez Z....