3552 search results - page 684 / 711 » Proof theory in the abstract |
105
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
108
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—As a promising solution to manage the huge workload of large-scale VoD services, managed peer-assisted CDN systems, such as P4P [25] has attracted attention. Although th...
147
Voted
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Code smells are poor implementation choices, thought to make object-oriented systems hard to maintain. In this study, we investigate if classes with code smells are more change-...
106
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The advent of practical rateless codes enables implementation of highly efficient packet-level forward error correction (FEC) strategies for reliable data broadcasting ...
133
click to vote
WDAG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We adapt the compact routing scheme by Thorup and Zwick to optimize it for power-law graphs. We analyze our adapted routing scheme based on the theory of unweighted rando...