3690 search results - page 630 / 738 » Computation with classical sequents |
103
click to vote
PKC
2011
Springer
14 years 23 days ago
2011
Springer
xtended abstract which appears in the 2011 International Conference on Theory and Practice in Public Key Cryptography PKC 2011 (6–9 march 2011, Taormina, Italy) D. Catalano, N. F...
150
click to vote
EUROPAR
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. ILU(k) is a commonly used preconditioner for iterative linear solvers for sparse, non-symmetric systems. It is often preferred for the sake of its stability. We present T...
125
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We study the problem of object classification when training
and test classes are disjoint, i.e. no training examples of
the target classes are available. This setup has hardly be...
107
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
The matching and retrieval of 2D shapes is an important
challenge in computer vision. A large number of shape
similarity approaches have been developed, with the main
focus bein...
106
click to vote
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...