Results 21 to 30 of about 623,637 (299)
Theory and Practice of Second Language Acquisition, 2021 The present mixed-method study examined the foci and effects of peer and machine feedback on the revisions of Chinese university EFL learners’ English argumentative essays.
Meihua Liu
doaj +1 more source
Sociologica, 2022 Revision is essential to social science. I argue that revision serves multiple purposes, each essential in a different way. I discuss five critical junctures over the course of my career during which each of the purposes became clear.
Mario L. Small
doaj +1 more source
Learning to Rewrite for Non-Autoregressive Neural Machine Translation
Conference on Empirical Methods in Natural Language Processing, 2021 Non-autoregressive neural machine translation, which decomposes the dependence on previous target tokens from the inputs of the decoder, has achieved impressive inference speedup but at the cost of inferior accuracy.
Xinwei Geng, Xiaocheng Feng, Bing Qin
semanticscholar +1 more source
Making the stabilizer ZX-calculus complete for scalars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable using matrices ...
Miriam Backens
doaj +1 more source
A partial evaluation methodology for optimizing rewrite theories incrementally
MethodsX, 2022 Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as nondeterministic systems by means of the
María Alpuente +4 more
doaj +1 more source
DIR: A Large-Scale Dialogue Rewrite Dataset for Cross-Domain Conversational Text-to-SQL
Applied Sciences, 2023 Semantic co-reference and ellipsis always lead to information deficiency when parsing natural language utterances with SQL in a multi-turn dialogue (i.e., conversational text-to-SQL task).
Jieyu Li +6 more
doaj +1 more source
Confluence of Conditional Term Rewrite Systems via Transformations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Conditional term rewriting is an intuitive yet complex extension of term rewriting. In order to benefit from the simpler framework of unconditional rewriting, transformations have been defined to eliminate the conditions of conditional term rewrite ...
Karl Gmeiner
doaj +1 more source
Rewrite, rewrite, rewrite, rewrite, rewrite...
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, 1989 The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit.
N. Dershowitz, S. Kaplan
openaire +2 more sources
Rewriting Modulo β in the λΠ-Calculus Modulo [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules.
Ronan Saillard
doaj +1 more source
Taking-and-merging games as rewrite games [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules.
Eric Duchêne +3 more
doaj +1 more source