3690 search results - page 180 / 738 » Computation with classical sequents |
110
Voted
ECCC
2006
15 years 19 days ago
2006
Traditional quantum state tomography requires a number of measurements that grows exponentially with the number of qubits n. But using ideas from computational learning theory, we...
138
Voted
RTA
2011
Springer
14 years 3 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
126
click to vote
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
The mean shift algorithm has achieved considerable success in object tracking due to its simplicity and robustness. It finds local minima of a similarity measure between the color...
112
click to vote
CHI
2011
ACM
14 years 4 months ago
2011
ACM
Categorization of online videos is often treated as a tag suggestion task; tags can be generated by individuals or by machine classification. In this paper, we suggest categoriza...
105
click to vote
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...