Sciweavers

5900 search results - page 1004 / 1180
» Dependable Systems
Sort
View
SIGPRO
2010
137views more  SIGPRO 2010»
15 years 4 months ago
Satellite image compression by post-transforms in the wavelet domain
This paper proposes a novel compression scheme with a tunable complexity-ratedistortion trade-off. As images increase in size and resolution, more efficient compression schemes w...
Xavier Delaunay, Marie Chabert, Vincent Charvillat...
SSIRI
2010
15 years 4 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 4 months ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
TON
2010
89views more  TON 2010»
15 years 4 months ago
Demand-aware content distribution on the internet
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
Srinivas Shakkottai, Ramesh Johari
WCRE
2010
IEEE
15 years 4 months ago
Evaluating the Impact of Software Evolution on Software Clustering
—The evolution of a software project is a rich data source for analyzing and improving the software development process. Recently, several research groups have tried to cluster s...
Fabian Beck, Stephan Diehl
« Prev « First page 1004 / 1180 Last » Next »