8009 search results - page 1406 / 1602 » cans 2005 |
186
click to vote
ICDT
2005
ACM
16 years 5 days ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
154
click to vote
ICDT
2005
ACM
16 years 5 days ago
2005
ACM
Abstract. In this paper, we consider whether traditional index structures are effective in processing unstable nearest neighbors workloads. It is known that under broad conditions...
180
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
162
click to vote
ICISS
2005
Springer
16 years 5 days ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...
164
click to vote
ICMI
2005
Springer
16 years 5 days ago
2005
Springer
To overcome the limitations of current technologies for remote collaboration, we propose a system that changes a video feed based on task properties, people’s actions, and messa...