نتایج جستجو برای: when two or more rewrite rules directly or indirectly support some constraint on surface forms
تعداد نتایج: 11550426 فیلتر نتایج به سال:
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following the previous survey by Frühwirth (1998). Covering more than 180 publications, this new survey pro...
learning-oriented assessment seeks to emphasise that a fundamental purpose of assessment should be to promote learning. it mirrors formative assessment and assessment for learning processes. it can be defined as actions undertaken by teachers and / or students, which provide feedback for the improvement of teaching and learning. it also contrasts with equally important measurement-focused appro...
The Semantic Web lacks support for explaining knowledge provenance. When web applications return answers, many users do not know what information sources were used, when they were updated, how reliable the source was, or what information was looked up versus derived. The Semantic Web also lacks support for explaining reasoning paths used to derive answers. The Inference Web (IW) aims to take op...
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following the previous survey by Frühwirth (1998). Covering more than 180 publications, this new survey pro...
the purpose of this two-phase, sequential mixed methods study was to find out whether there were any decencies between male and female ma students’ theses regarding the common features of academic writing such as syntactic complexity, means of integrating cited information, and organizing arguments. i chose 10 male written theses and 15 female written theses in tefl and linguistics. in the firs...
In this paper we present a termination preserving transformation from Constraint Handling Rules to Prolog. The transformation is sound w.r.t. termination under the theoretical semantics of Constraint Handling Rules. It does not consider the presence of a propagation history. The transformation allows for the direct reuse of termination proof methods from Logic Programs and Term-Rewrite Systems,...
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
The Knuth-Bendix completion procedure generates a confluent set of rewrite rules by repeatedly superposing left hand sides of rewrite rules and adding any generated critical pairs as new rewrite rules. The process may terminate in two ways; with success: there are no more (nontrivial) critical pairs, or with failure: a critical pair is generated which cannot be oriented by the ordering. The pro...
in solvo-hydrothermal method, xrd pattern was indicated presence of intermediate of ammonium octatmolybdate and ammonium tetramolybdate, which were changed to stble phase of ?-moo3 annealing. sem images were indicated nanoparticle with semispheical morphology and tem image was demonstrated nanoparticles with a diameter size of 25nm. also in impregnate method. the xrd pattern was shown high crys...
the present study was an attempt to compare the effect of peer metalinguistic corrective feedback on elementary and intermediate efl learners speaking ability to see which level benefits more from this type of feedback. to this end, 117 female efl learners at grade 3, al-zahra high school in kermanshah, iran were non-randomly chosen. the homogeneity of the participants was attained through a pi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید