Sciweavers

1991 search results - page 84 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
ICIP
2009
IEEE
16 years 2 months ago
Improved Layer Processing For Mrc Compression Of Scanned Documents
The Mixed Raster Content (MRC) document compression is a well documented standard. Its efficiency for representing sharp text and graphics over a background has been extensively p...
TCSV
2010
14 years 8 months ago
Efficient Bit Allocation and Rate Control Algorithms for Hierarchical Video Coding
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
Chan-Won Seo, Jung Won Kang, Jong-Ki Han, Truong Q...
CIKM
2009
Springer
15 years 8 months ago
Linear predictive coding representation of correlated mutation for protein sequence alignment
Background: Although both conservation and correlated mutation (CM) are important information reflecting the different sorts of context in multiple sequence alignment, most of ali...
Chan-seok Jeong, Dongsup Kim
COMPSAC
2009
IEEE
15 years 6 months ago
Temporally Robust Software Features for Authorship Attribution
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...
Steven Burrows, Alexandra L. Uitdenbogerd, Andrew ...
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 8 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux