Sciweavers

809 search results - page 146 / 162
» Similarity, topology, and uniformity
Sort
View
SIGMOD
2000
ACM
158views Database» more  SIGMOD 2000»
15 years 4 months ago
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
Jianjun Chen, David J. DeWitt, Feng Tian, Yuan Wan...
96
Voted
COLT
1997
Springer
15 years 4 months ago
On-line Learning and the Metrical Task System Problem
We relate two problems that have been explored in two distinct communities. The first is the problem of combining expert advice, studied extensively in the computational learning...
Avrim Blum, Carl Burch
94
Voted
PODS
1994
ACM
91views Database» more  PODS 1994»
15 years 4 months ago
A Polymorphic Calculus for Views and Object Sharing
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
Atsushi Ohori, Keishi Tajima
FP
1989
124views Formal Methods» more  FP 1989»
15 years 4 months ago
Deriving the Fast Fourier Algorithm by Calculation
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
Geraint Jones
102
Voted
ATAL
2006
Springer
15 years 4 months ago
A Comparison of Sequential and Simultaneous Auctions
Sequential and simultaneous auctions are two important mechanisms for buying/selling multiple objects. These two mechanisms yield different outcomes (i.e., different revenues and a...
S. Shaheen Fatima