2370 search results - page 202 / 474 » A Structured Set of Higher-Order Problems |
140
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
Although propositional satisfiability (SAT) is NP-complete, state-of-the-art SAT solvers are able to solve large, practical instances. The concept of backdoors has been introduced...
154
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper addresses the problem of category-level image classification. The underlying image model is a graph whose nodes correspond to a dense set of regions, and edges reflec...
173
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Trajectory basis Non-Rigid Structure From Motion (NRSFM) currently faces two problems: the limit of reconstructability and the need to tune the basis size for different sequences....
136
click to vote
ACL
2012
13 years 6 months ago
2012
This paper proposes a data-driven method for concept-to-text generation, the task of automatically producing textual output from non-linguistic input. A key insight in our approac...
137
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...