Sciweavers

679 search results - page 44 / 136
» codes 2002
Sort
View
113
Voted
TIP
2002
143views more  TIP 2002»
15 years 2 months ago
Adaptive image coding with perceptual distortion control
This paper presents a discrete cosine transform (DCT)-based locally adaptive perceptual image coder, which discriminates between image components based on their perceptual relevanc...
Ingo S. Hontsch, Lina J. Karam
124
Voted
ICIP
2002
IEEE
16 years 4 months ago
Efficient and universal scalable video coding
This paper proposes a unified efficient and universal scalable video coding framework that supports different scalabilities, such as fine granularity quality, temporal, spatial an...
Feng Wu, Shipeng Li, Rong Yan, Xiaoyan Sun, Ya-Qin...
CADE
2002
Springer
16 years 2 months ago
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
Robert R. Schneck, George C. Necula
110
Voted
JCT
2002
107views more  JCT 2002»
15 years 2 months ago
Asymmetric Binary Covering Codes
An asymmetric binary covering code of length n and radius R is a subset C of the n-cube Qn such that every vector x Qn can be obtained from some vector c C by changing at most R...
Joshua N. Cooper, Robert B. Ellis, Andrew B. Kahng
127
Voted
TSE
2002
99views more  TSE 2002»
15 years 2 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...