3690 search results - page 278 / 738 » Computation with classical sequents |
154
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. By coding the input testing image as a sparse linear combination of the training samples via l1-norm minimization, sparse representation based classification (SRC) has b...
183
click to vote
CG
2007
Springer
15 years 5 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...
150
click to vote
ENTCS
2002
15 years 5 months ago
2002
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
195
click to vote
CVPR
2009
IEEE
17 years 16 days ago
2009
IEEE
This paper addresses the problem of characterizing
a general class of cameras under reasonable, “linear”
assumptions. Concretely, we use the formalism and
terminology of cla...
213
click to vote
CVPR
2009
IEEE
17 years 16 days ago
2009
IEEE
This paper addresses the problem of establishing correspondences
between two sets of visual features using
higher-order constraints instead of the unary or pairwise
ones used in...