5350 search results - page 66 / 1070 » Space and time in eco-ontologies |
101
click to vote
MPC
1992
Springer
15 years 1 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 1 months ago
1990
IEEE
ASPDAC
1998
ACM
15 years 1 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...
STOC
1989
ACM
15 years 1 months ago
1989
ACM
CISS
2007
IEEE
15 years 1 months ago
2007
IEEE
Distributed space-time-block-coding (Dis-STBC) achieves diversity through cooperative transmission among geographically dispersed nodes. In this paper, we present a powerefficient...