5356 search results - page 69 / 1072 » Adventures in time and space |
AMAST
1993
Springer
15 years 4 months ago
1993
Springer
MM
1994
ACM
15 years 4 months ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
111
click to vote
MPC
1992
Springer
15 years 3 months ago
1992
Springer
In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert...
FOCS
1990
IEEE
15 years 3 months ago
1990
IEEE
ASPDAC
1998
ACM
15 years 3 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...