Results 11 to 20 of about 623,637 (299)
Modular Complexity Analysis for Term Rewriting [PDF]
Logical Methods in Computer Science, 2014 All current investigations to analyze the derivational complexity of term rewrite systems are based on a single termination method, possibly preceded by transformations. However, the exclusive use of direct criteria is problematic due to their restricted
Harald Zankl, Martin Korp
doaj +3 more sources
When Patients Rewrite the Textbooks [PDF]
Journal of Orthopaedic Case ReportsJeff Walter RajaduraiOR, Ashok Shyam
doaj +2 more sources
Rewrite rule inference using equality saturation [PDF]
Proc. ACM Program. Lang., 2021 Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences. Developing rewrite rules can be difficult: rules may be subtly incorrect, profitable rules are easy to miss, and rulesets must be ...
Chandrakana Nandi +8 more
semanticscholar +1 more source
DP-Rewrite: Towards Reproducibility and Transparency in Differentially Private Text Rewriting [PDF]
International Conference on Computational Linguistics, 2022 Text rewriting with differential privacy (DP) provides concrete theoretical guarantees for protecting the privacy of individuals in textual documents. In practice, existing systems may lack the means to validate their privacy-preserving claims, leading ...
Timour Igamberdiev +2 more
semanticscholar +1 more source
GECToR – Grammatical Error Correction: Tag, Not Rewrite [PDF]
Workshop on Innovative Use of NLP for Building Educational Applications, 2020 In this paper, we present a simple and efficient GEC sequence tagger using a Transformer encoder. Our system is pre-trained on synthetic data and then fine-tuned in two stages: first on errorful corpora, and second on a combination of errorful and error ...
Kostiantyn Omelianchuk +3 more
semanticscholar +1 more source
String diagram rewrite theory II: Rewriting with symmetric monoidal structure [PDF]
Mathematical Structures in Computer Science, 2021 Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or discarded at will. In SMTs, traditional tree-like terms are replaced by string
F. Bonchi +4 more
semanticscholar +1 more source
Fééries, 2023 Our comparative study focuses on the confrontation of the Grimm Brother’s prose version and Anne Sexton’s poetic rewriting which both respects the classic outline of this tale.
Bochra Charnay, Thierry Charnay
doaj +1 more source
Generate, Delete and Rewrite: A Three-Stage Framework for Improving Persona Consistency of Dialogue Generation [PDF]
Annual Meeting of the Association for Computational Linguistics, 2020 Maintaining a consistent personality in conversations is quite natural for human beings, but is still a non-trivial task for machines. The persona-based dialogue generation task is thus introduced to tackle the personality-inconsistent problem by ...
Haoyu Song +4 more
semanticscholar +1 more source
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure [PDF]
Journal of the ACM, 2020 String diagrams are a powerful and intuitive graphical syntax, originating in theoretical physics and later formalised in the context of symmetric monoidal categories. In recent years, they have found application in the modelling of various computational
F. Bonchi +4 more
semanticscholar +1 more source
Neutral Rewrite Mutation Operator for Genetic Programming applied to Boolean Domain Problems
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 The effect of semantically neutral tree rewrites is analyzed in the context of genetic programming applied to Boolean domain problems. Different setups of the proposed Neutral Rewrite Operator are studied from the perspective of improving performance.
Dmytro Vitel +2 more
doaj +1 more source