464 search results - page 24 / 93 » On Support of Ordering in Multidimensional Data Structures |
136
Voted
TODS
2002
15 years 1 months ago
2002
Metric access methods (MAMs), such as the M-tree, are powerful index structures for supporting ty queries on metric spaces, which represent a common abstraction for those searchin...
117
click to vote
ADAEUROPE
2003
Springer
15 years 6 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
127
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
159
click to vote
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...
102
click to vote
VISUALIZATION
1997
IEEE
15 years 5 months ago
1997
IEEE
Different techniques have been proposed for rendering volumetric scalar data sets. Usually these approaches are focusing on orthogonal cartesian grids, but in the last years resea...