25041 search results - page 4468 / 5009 » Algorithms for Clustering Data |
248
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
222
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Estimating frequency moments and Lp distances are well studied problems in the adversarial data stream model and tight space bounds are known for these two problems. There has been...
292
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
276
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
A growing mount of available text data are being stored in relational databases, giving rise to an increasing need for the RDBMSs to support effective text retrieval. In this pape...
277
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...