2492 search results - page 199 / 499 » On the General Signature Trees |
260
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a scalable distributed data structure (SDDS) called SD-Rtree. We intend our structure for point and window queries over possibly large spatial datasets distributed on c...
176
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
We introduce a framework, which we call Divide-by-2 (DB2), for extending support vector machines (SVM) to multi-class problems. DB2 offers an alternative to the standard one-again...
166
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
166
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Learning based super-resolution can recover high resolution image with high quality. However, building an interactive learning based super-resolution system for general images is e...
161
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...