1632 search results - page 321 / 327 » Sublinear Time Algorithms for Metric Space Problems |
153
click to vote
SDM
2009
SIAM
16 years 3 months 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 ...
145
click to vote
TASE
2007
IEEE
16 years 2 days 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...
175
click to vote
SC
2000
ACM
15 years 10 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...
146
click to vote
SIGGRAPH
1999
ACM
15 years 10 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...
164
click to vote
EDBT
2010
ACM
15 years 9 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...