3552 search results - page 684 / 711 » Proof theory in the abstract |
153
click to vote
BIRTHDAY
2009
Springer
16 years 27 days 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 ...
169
click to vote
GLOBECOM
2009
IEEE
16 years 26 days 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...
204
click to vote
WCRE
2009
IEEE
16 years 25 days 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-...
158
click to vote
INFOCOM
2009
IEEE
16 years 23 days 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 ...
179
click to vote
WDAG
2009
Springer
16 years 21 days 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...