1632 search results - page 321 / 327 » Sublinear Time Algorithms for Metric Space Problems |
122
Voted
SDM
2009
SIAM
16 years 15 days ago
2009
SIAM
Recent research in frequent pattern mining (FPM) has shifted from obtaining the complete set of frequent patterns to generating only a representative (summary) subset of frequent ...
110
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
143
click to vote
SC
2000
ACM
15 years 7 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
108
Voted
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
Using multiple reference images in 3D image warping has been a challenging problem. Recently, the Layered Depth Image (LDI) was proposed by Shade et al. to merge multiple referenc...
129
Voted
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...