535 search results - page 53 / 107 » Insertion and Expansion Operations for |
CCGRID
2007
IEEE
15 years 3 hour ago
2007
IEEE
Grid is a computational environment in which applications can use multiple distributed computational resources in a safe, coordinated, efficient and transparent way. Data Integra...
130
click to vote
ISM
2006
IEEE
14 years 11 months ago
2006
IEEE
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
ENTCS
2002
14 years 11 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
102
click to vote
TODS
2012
13 years 2 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Network applications often require large data storage resources, fast queries, and frequent updates. Hash tables support these operations with low costs, yet they cannot...