2124 search results - page 342 / 425 » An Efficient Framework for Order Optimization |
149
click to vote
JSC
2006
15 years 6 months ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
194
click to vote
PAMI
2006
15 years 6 months ago
2006
For shapes represented as closed planar contours, we introduce a class of functionals which are invariant with respect to the Euclidean group and which are obtained by performing i...
148
click to vote
CCE
2005
15 years 6 months ago
2005
Microarray experiments are emerging as one of the main driving forces in modern biology. By allowing the simultaneous monitoring of the expression of the entire genome for a given...
168
click to vote
IJCV
2000
15 years 6 months ago
2000
We investigate the properties of a metric between two distributions, the Earth Mover's Distance (EMD), for content-based image retrieval. The EMD is based on the minimal cost ...
188
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we introduce a novel approach to single view reconstruction using shape grammars. Our approach consists in modeling architectural styles using a set of basic shapes ...