Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Jialun Cao"'
Autor:
Jialun Cao
We all know and often use compression software, why the compression software cannot reduce the file size after compressing the compressed file, and even multiple compressions will make the file size larger. Through research on compression software an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2afc134619480622bc977214c00b2bc
https://doi.org/10.36227/techrxiv.22832357.v2
https://doi.org/10.36227/techrxiv.22832357.v2
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Sep2023, Vol. 32 Issue 5, p1-34, 34p
Publikováno v:
ASE
Regular expressions (regexes) are widely used in different fields of computer science such as programming languages, string processing and databases. However, existing tools for synthesizing or repairing regexes were not designed to be resilient to R
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44e16b9c224dfc797f5c4031600b50bd
https://doi.org/10.1145/3324884.3416556
https://doi.org/10.1145/3324884.3416556
Publikováno v:
ICDE
Getting high quality XML schemas to avoid or reduce application risks is an important problem in practice, for which some important aspects have yet to be addressed satisfactorily in existing work. In this paper, we propose a tool FlashSchema for hig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55d963a24588e83324c7cf5e2e3f591d
https://doi.org/10.1109/icde48307.2020.00214
https://doi.org/10.1109/icde48307.2020.00214
Autor:
Yeting Li, Yun Hu, Shuaimin Li, Haiming Chen, Zhiwu Xu, Zixuan Chen, Jialun Cao, Shing-Chi Cheung
Publikováno v:
ICSE
Since regular expressions (abbrev. regexes) are difficult to understand and compose, automatically generating regexes has been an important research problem. This paper introduces TransRegex, for automatically constructing regexes from both natural l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f57cab906f9aee8654924713f6914260
Machine translation has wide applications in daily life. In mission-critical applications such as translating official documents, incorrect translation can have unpleasant or sometimes catastrophic consequences. This motivates recent research on the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60eefa5721d5ec174b00fd9e9badff4f
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Apr2022, Vol. 31 Issue 2, p1-36, 36p
Publikováno v:
ICCD
Parameterized verification is shown to be a complicated and undecidable problem. The challenge of parameterized verification lies in how to construct appropriate invariants. Designing algorithms to find such invariants automatically has become an act
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a07e6e05d9d85695f85cab694bf4816
https://doi.org/10.1109/iccd46524.2019.00070
https://doi.org/10.1109/iccd46524.2019.00070
Publikováno v:
Database Systems for Advanced Applications ISBN: 9783030185787
DASFAA (2)
DASFAA (2)
Since lacking valid schemas is a critical problem for XML and present research on interleaving for XML is also quite insufficient, in this paper we focus on the inference of XML schemas with interleaving. Previous researches have shown that the essen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::526208a51b75de3b7a30a4d1cd58a42c
https://doi.org/10.1007/978-3-030-18579-4_5
https://doi.org/10.1007/978-3-030-18579-4_5