-
1
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary decision diagrams
-
R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24:293-318, 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, pp. 293-318
-
-
Bryant, R.E.1
-
2
-
-
0036036815
-
Approximating the smallest grammar: Kolmogorov complexity in natural models
-
M. Charikar, E. Lehman, D. Liu, R. Panigrahy, M. Prabhakaran, A. Rasala, A. Sahai, and A. Shelat. Approximating the smallest grammar: Kolmogorov complexity in natural models. In Proc. STOC'02, pages 792-801, 2002.
-
(2002)
Proc. STOC'02
, pp. 792-801
-
-
Charikar, M.1
Lehman, E.2
Liu, D.3
Panigrahy, R.4
Prabhakaran, M.5
Rasala, A.6
Sahai, A.7
Shelat, A.8
-
5
-
-
0003366048
-
A new algorithm for data compression
-
P. Gage. A new algorithm for data compression. The C Users Journal, 12(2), 1994.
-
(1994)
The C Users Journal
, vol.12
, Issue.2
-
-
Gage, P.1
-
7
-
-
33746247339
-
A fully compressed pattern matching algorithm for simple collage systems
-
Czech Technical University
-
S. Inenaga, A. Shinohara, and M. Takeda. A fully compressed pattern matching algorithm for simple collage systems. In Proc. PSC'04, pages 98-113. Czech Technical University, 2004.
-
(2004)
Proc. PSC'04
, pp. 98-113
-
-
Inenaga, S.1
Shinohara, A.2
Takeda, M.3
-
8
-
-
0012491117
-
An efficient pattern-matching algorithm for strings with short descriptions
-
M. Karpinski, W. Rytter, and A. Shinohara. An efficient pattern-matching algorithm for strings with short descriptions. Nordic J. Comput., 4(2):172-186, 1997.
-
(1997)
Nordic J. Comput.
, vol.4
, Issue.2
, pp. 172-186
-
-
Karpinski, M.1
Rytter, W.2
Shinohara, A.3
-
9
-
-
0034188132
-
Grammar-based codes: A new class of universal lossless source codes
-
J. Kieffer and E. Yang. Grammar-based codes: a new class of universal lossless source codes. IEEE Transactions on Information Theory, 46(3):737-754, 2000.
-
(2000)
IEEE Transactions on Information Theory
, vol.46
, Issue.3
, pp. 737-754
-
-
Kieffer, J.1
Yang, E.2
-
10
-
-
3042580624
-
Grammar-based codes for universal lossless data compression
-
J. Kieffer and E. Yang. Grammar-based codes for universal lossless data compression. Communications in Information and Systems, 2(2):29-52, 2002.
-
(2002)
Communications in Information and Systems
, vol.2
, Issue.2
, pp. 29-52
-
-
Kieffer, J.1
Yang, E.2
-
11
-
-
0034226985
-
Universal lossless compression via multilevel pattern matching
-
J. Kieffer, E. Yang, G. Nelson, and P. Cosman. Universal lossless compression via multilevel pattern matching. IEEE Transactions on Information Theory, 46(4):1227-1245, 2000.
-
(2000)
IEEE Transactions on Information Theory
, vol.46
, Issue.4
, pp. 1227-1245
-
-
Kieffer, J.1
Yang, E.2
Nelson, G.3
Cosman, P.4
-
12
-
-
0032647886
-
Offline dictionary-based compression
-
IEEE Computer Society
-
J. Larsson and A. Moffat. Offline dictionary-based compression. In Proc. DCC'99, pages 296-305. IEEE Computer Society, 1999.
-
(1999)
Proc. DCC'99
, pp. 296-305
-
-
Larsson, J.1
Moffat, A.2
-
13
-
-
0012588291
-
An improved pattern matching algorithm for strings in terms of straight line programs
-
M. Miyazaki, A. Shinohara, and M. Takeda. An improved pattern matching algorithm for strings in terms of straight line programs. Journal of Discrete Algorithms, 1(1):187-204, 2000.
-
(2000)
Journal of Discrete Algorithms
, vol.1
, Issue.1
, pp. 187-204
-
-
Miyazaki, M.1
Shinohara, A.2
Takeda, M.3
-
14
-
-
0000523223
-
Compression and explanation using hierarchical grammars
-
C. Nevill-Manning and I. Witten. Compression and explanation using hierarchical grammars. Computer Journal, 40(2/3):103-116, 1997.
-
(1997)
Computer Journal
, vol.40
, Issue.2-3
, pp. 103-116
-
-
Nevill-Manning, C.1
Witten, I.2
-
15
-
-
0002044093
-
Identifying hierarchical structure in sequences: A linear-time algorithm
-
C. Nevill-Manning and I. Witten. Identifying hierarchical structure in sequences: a linear-time algorithm. J. Artificial Intelligence Research, 7:67-82, 1997.
-
(1997)
J. Artificial Intelligence Research
, vol.7
, pp. 67-82
-
-
Nevill-Manning, C.1
Witten, I.2
-
16
-
-
0031346495
-
Inferring lexical and grammatical structure from sequences
-
IEEE Computer Society
-
C. Nevill-Manning and I. Witten. Inferring lexical and grammatical structure from sequences. In Proc. DCC'97, pages 265-274. IEEE Computer Society, 1997.
-
(1997)
Proc. DCC'97
, pp. 265-274
-
-
Nevill-Manning, C.1
Witten, I.2
-
17
-
-
0031702890
-
Phrase hierarchy inference and compression in bounded space
-
IEEE Computer Society
-
C. Nevill-Manning and I. Witten. Phrase hierarchy inference and compression in bounded space. In Proc. DCC'98, pages 179-188. IEEE Computer Society, 1998.
-
(1998)
Proc. DCC'98
, pp. 179-188
-
-
Nevill-Manning, C.1
Witten, I.2
-
18
-
-
84957712130
-
Algorithms on compressed strings and arrays
-
Proc. SOFSEM'99, Springer-Verlag
-
W. Rytter. Algorithms on compressed strings and arrays. In Proc. SOFSEM'99, volume 1725 of LNCS, pages 48-65. Springer-Verlag, 1999.
-
(1999)
LNCS
, vol.1725
, pp. 48-65
-
-
Rytter, W.1
-
19
-
-
0038238644
-
Application of Lempel-Ziv factorization to the approximation of grammar-based compression
-
W. Rytter. Application of Lempel-Ziv factorization to the approximation of grammar-based compression. Theoretical Comput. Sci., 302(1-3):211-222, 2003.
-
(2003)
Theoretical Comput. Sci.
, vol.302
, Issue.1-3
, pp. 211-222
-
-
Rytter, W.1
-
20
-
-
35248832611
-
Symbolic topological sorting with OBDDs
-
Proc. MFCS'03, Springer-Verlag
-
P. Woelfel. Symbolic topological sorting with OBDDs. In Proc. MFCS'03, volume 2747 of LNCS, pages 671-680. Springer-Verlag, 2003.
-
(2003)
LNCS
, vol.2747
, pp. 671-680
-
-
Woelfel, P.1
|