1038 search results - page 165 / 208 » Space-Bounded Query Approximation |
133
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
102
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
219
Voted
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
Relational data streams and XML streams have previously provided two separate research foci, but their unified support by a single Data Stream Management System (DSMS) is very des...
131
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We consider the problem of efficiently sampling Web search engine query results. In turn, using a small random sample instead of the full set of results leads to efficient approxi...
190
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...