6434 search results - page 1038 / 1287 » The Dynamic Data Cube |
222
click to vote
CADE
2007
Springer
16 years 6 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...
160
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
: We present FlightPath, a novel peer-to-peer streaming application that provides a highly reliable data stream to a dynamic set of peers. We demonstrate that FlightPath reduces ji...
256
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...
317
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Given a set of objects P and a query point q, a k nearest neighbor (k-NN) query retrieves the k objects in P that lie closest to q. Even though the problem is well-studied for sta...
200
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...