116
click to vote
FOCS
15 years 6 months ago
1989 IEEE 
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
FOCS
15 years 6 months ago
1989 IEEE  111
Voted
FOCS
15 years 6 months ago
1989 IEEE
We present a randomized strategy for maintaining balance in dynamically changing search trees that has optimal expected behavior. In particular, in the expected case a search or a...
FOCS
15 years 6 months ago
1989 IEEE FOCS
15 years 6 months ago
1989 IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
|
Theoretical Computer Science