LEADER 01249nam--2200373---450- 001 990001773930203316 005 20040621093334.0 010 $a3-540-40117-2 035 $a000177393 035 $aUSA01000177393 035 $a(ALEPH)000177393USA01 035 $a000177393 100 $a20040621d2003----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aModel checking software$e10. International SPIN workshop$ePortland, Or, USA, May 9-10, 2003$eproceedings$fThomas Ball, Sriram K. Rajamani (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2003 215 $aVIII, 239 p.$cill.$d24 cm. 225 2 $aLecture notes in computer science$v2648 410 0$12001$aLecture notes in computer science$v2648 454 1$12001 461 1$1001-------$12001 702 1$aBALL,$bThomas 702 1$aRAJAMANI,$bSriram K. 710 12$aInternational SPIN workshop on model checking of software <10. ; 2003 ; Portland>$0563350 801 0$aIT$bsalbc$gISBD 912 $a990001773930203316 951 $a001 LNCS 2648$b29501/CBS$c001 LNCS$d00113884 959 $aBK 969 $aSCI 979 $aRIVELLI$b90$c20040621$lUSA01$h0933 996 $aModel checking software$9952031 997 $aUNISA LEADER 05550nam 2200697 450 001 9910458233003321 005 20200520144314.0 010 $a1-281-22731-5 010 $a9786611227319 010 $a0-08-050925-8 035 $a(CKB)1000000000384504 035 $a(EBL)333990 035 $a(OCoLC)437202754 035 $a(SSID)ssj0000182494 035 $a(PQKBManifestationID)11182587 035 $a(PQKBTitleCode)TC0000182494 035 $a(PQKBWorkID)10172644 035 $a(PQKB)10798710 035 $a(MiAaPQ)EBC333990 035 $a(PPN)175382166 035 $a(Au-PeEL)EBL333990 035 $a(CaPaEBR)ebr10216746 035 $a(CaONFJC)MIL122731 035 $a(EXLCZ)991000000000384504 100 $a20151125h20062006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aIntroduction to data compression /$fKhalid Sayood, University of Nebraska 205 $aThird edition. 210 1$aAmsterdam, [Netherlands] :$cMorgan Kaufmann,$d2006. 210 4$dİ2006 215 $a1 online resource (703 p.) 225 1 $aMorgan Kaufmann Series in Multimedia Information and Systems 300 $aDescription based upon print version of record. 311 $a0-12-620862-X 320 $aIncludes bibliographical references and index. 327 $aFront cover; Title page; Copyright page; Table of contents; Preface; Audience; Course Use; Approach; Learning from This Book; Content and Organization; A Personal View; Acknowledgments; 1 Introduction; 1.1 Compression Techniques; 1.1.1 Lossless Compression; 1.1.2 Lossy Compression; 1.1.3 Measures of Performance; 1.2 Modeling and Coding; 1.3 Summary; 1.4 Projects and Problems; 2 Mathematical Preliminaries for Lossless Compression; 2.1 Overview; 2.2 A Brief Introduction to Information Theory; 2.2.1 Derivation of Average Information; 2.3 Models; 2.3.1 Physical Models; 2.3.2 Probability Models 327 $a2.3.3 Markov Models2.3.4 Composite Source Model; 2.4 Coding; 2.4.1 Uniquely Decodable Codes; 2.4.2 Prefix Codes; 2.4.3 The Kraft-McMillan Inequality; 2.5 Algorithmic Information Theory; 2.6 Minimum Description Length Principle; 2.7 Summary; 2.8 Projects and Problems; 3 Huffman Coding; 3.1 Overview; 3.2 The Huffman Coding Algorithm; 3.2.1 Minimum Variance Huffman Codes; 3.2.2 Optimality of Huffman Codes; 3.2.3 Length of Huffman Codes; 3.2.4 Extended Huffman Codes; 3.3 Nonbinary Huffman Codes; 3.4 Adaptive Huffman Coding; 3.4.1 Update Procedure; 3.4.2 Encoding Procedure 327 $a3.4.3 Decoding Procedure3.5 Golomb Codes; 3.6 Rice Codes; 3.6.1 CCSDS Recommendation for Lossless Compression; 3.7 Tunstall Codes; 3.8 Applications of Huffman Coding; 3.8.1 Lossless Image Compression; 3.8.2 Text Compression; 3.8.3 Audio Compression; 3.9 Summary; 3.10 Projects and Problems; 4 Arithmetic Coding; 4.1 Overview; 4.2 Introduction; 4.3 Coding a Sequence; 4.3.1 Generating a Tag; 4.3.2 Deciphering the Tag; 4.4 Generating a Binary Code; 4.4.1 Uniqueness and Ef f iciency of the Arithmetic Code; 4.4.2 Algorithm Implementation; 4.4.3 Integer Implementation 327 $a4.5 Comparison of Huffman and Arithmetic Coding4.6 Adaptive Arithmetic Coding; 4.7 Applications; 4.8 Summary; 4.9 Projects and Problems; 5 Dictionary Techniques; 5.1 Overview; 5.2 Introduction; 5.3 Static Dictionary; 5.3.1 Digram Coding; 5.4 Adaptive Dictionary; 5.4.1 The LZ77 Approach; 5.4.2 The LZ78 Approach; 5.5 Applications; 5.5.1 File Compression-UNIX; 5.5.2 Image Compression-The Graphics Interchange Format (GIF); 5.5.3 Image Compression-Portable Network Graphics (PNG); 5.5.4 Compression over Modems-V.42 bis; 5.6 Summary; 5.7 Projects and Problems; 6 Context-Based Compression 327 $a6.1 Overview6.2 Introduction; 6.3 Prediction with Partial Match (ppm); 6.3.1 The Basic Algorithm; 6.3.2 The Escape Symbol; 6.3.3 Length of Context; 6.3.4 The Exclusion Principle; 6.4 The Burrows-Wheeler Transform; 6.4.1 Move-to-Front Coding; 6.5 Associative Coder of Buyanovsky (ACB); 6.6 Dynamic Markov Compression; 6.7 Summary; 6.8 Projects and Problems; 7 Lossless Image Compression; 7.1 Overview; 7.2 Introduction; 7.2.1 The Old JPEG Standard; 7.3 CALIC; 7.4 JPEG-LS; 7.5 Multiresolution Approaches; 7.5.1 Progressive Image Transmission; 7.6 Facsimile Encoding; 7.6.1 Run-Length Coding 327 $a7.6.2 CCITT Group 3 and 4-Recommendations T.4 and T.6 330 $aEach edition of Introduction to Data Compression has widely been considered the best introduction and reference text on the art and science of data compression, and the third edition continues in this tradition. Data compression techniques and technology are ever-evolving with new applications in image, speech, text, audio, and video. The third edition includes all the cutting edge updates the reader will need during the work day and in class. Khalid Sayood provides an extensive introduction to the theory underlying today's compression techniques with detailed instruction for their app 410 0$aMorgan Kaufmann series in multimedia information and systems. 606 $aData compression (Telecommunication) 606 $aCoding theory 608 $aElectronic books. 615 0$aData compression (Telecommunication) 615 0$aCoding theory. 676 $a005.74/6 700 $aSayood$b Khalid$028099 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910458233003321 996 $aIntroduction to data compression$942058 997 $aUNINA