4560 search results - page 93 / 912 » Finding Data in the Neighborhood |
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
Given a set Q of keywords, conventional keyword search (KS) returns a set of tuples, each of which (i) is obtained from a single relation, or by joining multiple relations, and (i...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
MHCI
2009
Springer
14 years 2 months ago
2009
Springer
In this article we describe the Sweep-Shake system, a novel, low interaction cost approach to supporting the spontaneous discovery of geo-located information. By sweeping a mobile...
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
We propose a generative model based on latent Dirichlet allocation for mining distinct topics in document collections by integrating the temporal ordering of documents into the ge...
SADFE
2008
IEEE
14 years 2 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...