8917 search results - page 1671 / 1784 » Abstraction in Algorithm Animation |
134
Voted
ICMCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—Due to the high bandwidth requirement and rate variability of compressed video, delivering video across wide area networks (WANs) is a challenging issue. Proxy servers h...
123
Voted
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—Virtual Private Networks (VPN) and link sharing are cost effective way of realizing corporate intranets. Corporate intranets will increasingly have to provide Integrated...
127
Voted
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we present a new technique for extracting regions of interest (ROI) applying a local watershed transformation. The proposed strategy for computing catchment basins ...
163
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
131
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...