1375 search results - page 144 / 275 » eg 2006 |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
We describe an implementation that has users `flick' notes, images, audio, and video files onto virtual piles beyond the display of small-screen devices. This scheme allows P...
VLSID
2006
IEEE
14 years 8 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
The continuous sliding-window query model is used widely in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In ...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Monitoring data streams in a distributed system is the focus of much research in recent years. Most of the proposed schemes, however, deal with monitoring simple aggregated values...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...