Sciweavers

28 search results - page 2 / 6
» Polarized Resolution Modulo
Sort
View
TFCV
1994
13 years 9 months ago
Attentive Visual Motion Processing: Computations in the Log-Polar Plane
Attentive vision is characterized by selective sensing in space and time as well as selective processing with respect to a speci c task. Selection in space involves the splitting ...
Konstantinos Daniilidis
CSL
2007
Springer
14 years 1 months ago
Unbounded Proof-Length Speed-Up in Deduction Modulo
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Guillaume Burel
VTC
2006
IEEE
206views Communications» more  VTC 2006»
14 years 1 months ago
BER Performance Improvement with Joint Angle-Delay-Polarization Estimation of Multipath Channel Parameters
Abstract— In mobile telecommunications, the quality of demodulation is strongly impacted by channel estimation. The Joint Angle, Delay and Polarization Estimation (JADPE) problem...
Cristian Tohanean, José Picheral
DCC
2005
IEEE
14 years 7 months ago
XOR-based Visual Cryptography Schemes
A recent publication introduced a Visual Crypto (VC) system, based on the polarisation of light. This VC system has good resolution, contrast and colour properties. Mathematically,...
Pim Tuyls, Henk D. L. Hollmann, Jack H. van Lint, ...
CC
2010
Springer
112views System Software» more  CC 2010»
13 years 2 months ago
Random Cnf's are Hard for the Polynomial Calculus
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...
Eli Ben-Sasson, Russell Impagliazzo