192 search results - page 21 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
VLDB
1987
ACM
15 years 3 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
WEBDB
1999
Springer
15 years 4 months ago
1999
Springer
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apar...
WSDM
2009
ACM
15 years 6 months ago
2009
ACM
There has been considerable past work on efficiently computing top k objects by aggregating information from multiple ranked lists of these objects. An important instance of this...
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
This paper demonstrates gait recognition using only the trajectories of lower body joint angles projected into the walking plane. For this work, we begin with the position of 3D m...
117
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...