HUFFMAN CODING IN BIT-VECTOR COMPRESSION

被引：18
|
作者：
JAKOBSSON, M
机构：
来源：
INFORMATION PROCESSING LETTERS | 1978年 / 7卷 / 06期
关键词：
D O I：
10.1016/0020-0190(78)90023-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：304 / 307
页数：4
相关论文
共 50 条
  • [31] Bit-Vector Model Counting Using Statistical Estimation
    Kim, Seonmo
    McCamant, Stephen
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 133 - 151
  • [32] Using FPGAs to Accelerate Myers Bit-Vector Algorithm
    Hoffmann, Joern
    Zeckzer, Dirk
    Bogdan, Martin
    XIV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING 2016, 2016, 57 : 529 - 535
  • [33] A Bit-Vector Solver with Word-Level Propagation
    Wang, Wenxi
    Sondergaard, Harald
    Stuckey, Peter J.
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2016, 2016, 9676 : 374 - 391
  • [34] Successive bit-vector search algorithm for CELP vocoders
    Lin, RS
    Yang, JF
    Ho, D
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2003, 26 (03) : 261 - 270
  • [35] Formal Verification of Bit-Vector Invertibility Conditions in Coq
    Ekici, Burak
    Viswanathan, Arjun
    Zohar, Yoni
    Tinelli, Cesare
    Barrett, Clark
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 41 - 59
  • [36] Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction
    Backeman, Peter
    Rummer, Philipp
    Zeljic, Aleksandar
    PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 50 - 59
  • [37] Bit-vector encoding of N-queen problem
    Qiu, ZY
    ACM SIGPLAN NOTICES, 2002, 37 (02) : 68 - 70
  • [38] Bit-Vector Search Filtering with Application to a Kanji Dictionary
    Skala, Matthew
    SIMILARITY SEARCH AND APPLICATIONS, SISAP 2016, 2016, 9939 : 137 - 150
  • [39] Complexity of Fixed-Size Bit-Vector Logics
    Gergely Kovásznai
    Andreas Fröhlich
    Armin Biere
    Theory of Computing Systems, 2016, 59 : 323 - 376
  • [40] Sharpening Constraint Programming Approaches for Bit-Vector Theory
    Chihani, Zakaria
    Marre, Bruno
    Bobot, Francois
    Bardin, Sebastien
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2017, 2017, 10335 : 3 - 20
12345