3690 search results - page 434 / 738 » Computation with classical sequents |
226
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Proxemics is the study of how people interact. We present a computational formulation of visual proxemics by attempting to label each pair of people in an image with a subset of p...
168
click to vote
TCC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. For secure two-party and multi-party computation with abort, classification of which primitives are complete has been extensively studied in the literature. However, for...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...
182
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
212
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Feature misalignment in object detection refers to
the phenomenon that features which re up in some
positive detection windows do not re up in other pos-
itive detection windo...