3690 search results - page 209 / 738 » Computation with classical sequents |
101
Voted
CLA
2004
15 years 2 months ago
2004
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
103
Voted
AAAI
2012
13 years 3 months ago
2012
We consider the classic cake cutting problem where one allocates a divisible cake to n participating agents. Among all valid divisions, fairness and efficiency (a.k.a. social wel...
104
click to vote
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
97
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Ink-bleed interference is a serious problem that affects the legibility of old documents. Ink-bleed can be reduced reasonably well using pixel classification based on user supplie...
90
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
Methods for super-resolution can be broadly classified
into two families of methods: (i) The classical multi-image
super-resolution (combining images obtained at subpixel
misali...