649 search results - page 40 / 130 » An Improved Construction of Progression-Free Sets |
82
Voted
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
102
click to vote
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...
68
Voted
ACCV
2010
Springer
14 years 5 months ago
2010
Springer
Estimating planar projective transform (homography) from a pair of images is a classical problem in computer vision. In this paper, we propose a novel algorithm for direct register...
122
Voted
ECCC
2011
14 years 1 months ago
2011
The existence of optimal algorithms is not known for any decision problem in NP \ P. We consider the problem of testing the membership in the image of an injective function. We co...
APPROX
2008
Springer
15 years 8 days ago
2008
Springer
Let C be a class of probability distributions over a finite set . A function D : {0, 1}m is a disperser for C with entropy threshold k and error if for any distribution X in C s...