960 search results - page 55 / 192 » There's no Data like More Data |
SOCIALCOM
2010
13 years 6 months ago
2010
Smart phones can collect and share Bluetooth co-location traces to identify ad hoc or semi-permanent social groups. This information, known to group members but otherwise unavailab...
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
BMCBI
2006
13 years 9 months ago
2006
Background: DNA methylation, a molecular feature used to investigate tumor heterogeneity, can be measured on many genomic regions using the MethyLight technology. Due to the combi...
JSSPP
2007
Springer
14 years 3 months ago
2007
Springer
The TeraGrid is a closely linked community of diverse resources: computational, data, and experimental, e.g., the imminent very large computational system at the University of Tex...