Sciweavers

33 search results - page 5 / 7
» A Direct Product Theorem for Discrepancy
Sort
View
LICS
2006
IEEE
14 years 1 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
ACS
2008
13 years 7 months ago
Subobject Transformation Systems
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
Andrea Corradini, Frank Hermann, Pawel Sobocinski
PAMI
2006
126views more  PAMI 2006»
13 years 7 months ago
Rotation Recovery from Spherical Images without Correspondences
This paper addresses the problem of rotation estimation directly from images defined on the sphere and without correspondence. The method is particularly useful for the alignment ...
Ameesh Makadia, Kostas Daniilidis
ICQNM
2007
IEEE
131views Chemistry» more  ICQNM 2007»
14 years 1 months ago
Comparison of two bounds of the quantum correlation set
— From a geometric viewpoint, quantum nonlocality between two parties is represented as the difference of two convex bodies, namely the sets of possible results of classical and ...
David Avis, Tsuyoshi Ito
COCO
2008
Springer
86views Algorithms» more  COCO 2008»
13 years 8 months ago
The Multiplicative Quantum Adversary
We present a new variant of the quantum adversary method. All adversary methods give lower bounds on the quantum query complexity of a function by bounding the change of a progres...
Robert Spalek