7820 search results - page 1397 / 1564 » Formalization of Time and Space |
163
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
A current research topic in molecular thermodynamics is the condensation of vapor to liquid and the investigation of this process at the molecular level. Condensation is found in m...
170
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantif...
326
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
183
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
177
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
We present a document routing and index partitioning scheme for scalable similarity-based search of documents in a large corpus. We consider the case when similarity-based search ...