912 search results - page 141 / 183 » Abstract Saturation-Based Inference |
116
click to vote
PERCOM
2009
ACM
15 years 6 months ago
2009
ACM
Abstract—In this paper, we introduce the cellphonebased indirect sensing problem. While participatory sensing aims at monitoring of a phenomenon by deploying a dense set of senso...
100
click to vote
ISBRA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
PAM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Monitoring end-to-end paths in an overlay network is essential for evaluating end-system performance and for troubleshooting anomalous behavior. However, conducting measu...
PERVASIVE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many applications benefit from user location data, but location data raises privacy concerns. Anonymization can protect privacy, but identities can sometimes be inferred...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...