A theory of incremental compression
نویسندگان
چکیده
The ability to find short representations, i.e. compress data, is crucial for many intelligent systems. We present a theory of incremental compression showing that arbitrary data strings, can be described by set features, compressed searching those features incrementally, which results in partition the information content string into complete pairwise independent pieces. description length this turns out close optimal terms Kolmogorov complexity string. Exploiting decomposition, we introduce ALICE - computable ALgorithm Incremental ComprEssion and derive an expression its time complexity. Finally, show our concept feature closely related Martin-L\"of randomness tests, thereby formalizing meaning "property" objects.
منابع مشابه
Incremental Data Compression |extended Abstract|
Data compression is used in data transmission and data storage. When data compression is used, data is transmitted faster, and le storage requires less space. Many aspects of data compression are described in Leweler and Hirschberg [6], and Storer [9]. An important technique for data compression is textual substitution. Textual substitution identi es repeated substrings and replaces some or all...
متن کاملSome Theorems on Incremental Compression
The ability to induce short descriptions of, i.e. compressing, a wide class of data is essential for any system exhibiting general intelligence. In all generality, it is proven that incremental compression – extracting features of data strings and continuing to compress the residual data variance – leads to a time complexity superior to universal search if the strings are incrementally compress...
متن کاملapplying transitivity theory to gender analysis of efl textbook: : a comparative study.
efl/esl textbooks have been regarded as essential language teaching materials with which the learners spend about 70 up to 90 percent of their class time. the important role they play and their vast use make them not only influential in learning the language but also in shaping values and attitudes. put it another way, textbooks socialize learners using their contents (i.e. texts, illustrations...
15 صفحه اولIncremental Theory Reasoning Methods
Theory reasoning is an important technique for increasing the eeciency of automated deduction systems. In this paper we present incremental theory reasoning, a method that improves the interaction between the foreground reasoner and the background (theory) reasoner and, thus, the eeciency of the combined system. The use of incremental theory reasoning in free variable semantic tableaux and the ...
متن کاملIncremental Volume Rendering Using Hierarchical Compression
We present a new algorithm here for efficient incremental rendering of volumetric datasets. The primary goal of this algorithm is to give average workstations the ability to efficiently render volume data received over relatively low bandwidth network links in such a way that rapid user feedback is maintained. Common limitations of workstation rendering of volume data include: large memory over...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Sciences
سال: 2021
ISSN: ['0020-0255', '1872-6291']
DOI: https://doi.org/10.1016/j.ins.2020.08.035