8828 search results - page 1446 / 1766 » Formal methods in practice |
272
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Multi-dimensional data indexing has received much attention in a centralized database. However, not so much work has been done on this topic in the context of Peerto-Peer systems....
311
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
A reverse nearest neighbor (RNN) query returns the data objects that have a query point as their nearest neighbor (NN). Although such queries have been studied quite extensively in...
275
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Terrain can be approximated by a triangular mesh consisting millions of 3D points. Multiresolution triangular mesh (MTM) structures are designed to support applications that use t...
293
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
Partial periodicity search, i.e., search for partial periodic patterns in time-series databases, is an interesting data mining problem. Previous studies on periodicity search main...
122
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
A natural requirement in pairwise image registration is that the resulting deformation is independent of the order of the images. This constraint is typically achieved via a symmet...