584 search results - page 96 / 117 » Efficient mass decomposition |
POPL
2005
ACM
14 years 9 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
While work in recent years has demonstrated that wavelets can be efficiently used to compress large quantities of data and provide fast and fairly accurate answers to queries, lit...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
Statistical shape analysis techniques commonly employed in the medical imaging community, such as Active Shape Models or Active Appearance Models, rely on Principal Component Anal...
ASAP
2006
IEEE
14 years 3 months ago
2006
IEEE
Data-Pipelining is a widely used model to represent streaming applications. Incremental decomposition and optimization of a data-pipelining application onto a multi-processor plat...