4382 search results - page 630 / 877 » Query by Semantic Example |
130
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
The Prague texture segmentation data-generator and benchmark is a web based (http://mosaic.utia.cas.cz) service designed to mutually compare and rank different texture segmenters,...
144
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper describes an approach for video structuring and indexing. It relies on motion wavelet coefficients directly estimated from image sequence. These coefficients provide a ...
144
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
122
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
111
Voted
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
We extend Ukkonen's online suffix tree construction algorithm to support frequency queries, by adding count fields to the internal nodes of the tree, as suggested in [8]. Thi...