نتایج جستجو برای: considers entailment implication to be valid

تعداد نتایج: 10815309  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1382

‏‎translation as a comunicative process is always said to be associated with various aspects of meaning loss or gain. subtitling as a mode of translating, due to special discoursal and textual conditions imposed upon it, is believed to be an obvious case of this loss or gain. presenting the spoken sound track of a film in writing and synchronizing the perception of this text by the viewers with...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1389

this study gives a rough notional method to find their textual placing and valuating in the text, narrows the board of vision to mystic items and finally lists the strategies used by the translators of mathnawi to present solutions for preserving the additional values. at last, as the sum-up, strategies in comparison would be presented. it should be noted that by extending the translations from...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده برق و الکترونیک 1390

there are many approaches for solving variety combinatorial optimization problems (np-compelete) that devided to exact solutions and approximate solutions. exact methods can only be used for very small size instances due to their expontional search space. for real-world problems, we have to employ approximate methods such as evolutionary algorithms (eas) that find a near-optimal solution in a r...

پایان نامه :0 1375

investigation the archetype of mother can help the reader to understand poes works, especially his fiction, better, if not fully. motivated by internal and external drives to get into the universe in its manifold form poe was impelled to art and, from various modes of art, to symbolism. how much was poe successful to produce works of art has been a matter of dispute among critics. however, ther...

1997
Hiroki Arimura

This paper considers the problem of learning an unknown rst-order Horn sentence H from examples of Horn clauses that H either implies or does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allows recursions, disjunctive definitions, and the use of function symbols. We present an algorithm ...

1995
Stephen Muggleton

This talk is based on a paper which appears in the May 1995 issue of New Generation Computing Journal under the title "Inverse entailment and Progol." The paper is available as gzipped Postscript by anonymous ftp from ftp.comlab.ox.ac.uk in file pub/Packages/ILP/Papers/InvEnt.ps.gz The paper firstly provides a reappraisal of the development of techniques for inverting deduction, secondly introd...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده ادبیات و علوم انسانی 1391

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...

1998
Armin Wolf

Two variants of an incremental and adaptive entailment algorithm are presented. Both variants decide incrementally whether a xed conjunction of syntactical equations over the rational trees is entailed by another conjunction in rational solved form which may change dynamically. In the case of entailment, an extension of the rational solved form is computed which is equivalent to the conjunction...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه مازندران - دانشکده علوم انسانی و اجتماعی 1388

the present study set out (a) to examine the categories of pedagogical knowledge related to the act of teaching of novice and experienced teachers as gleaned from their verbal report of what they were thinking about while teaching and (b) to compare the categories of pedagogical knowledge of novice and experienced teachers. the aim of comparing these two groups of teachers was to see whether di...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده حقوق 1389

abstract the third millennium has started, but the world is facing with serious challenges in achieving international security and peace. various human rights violations have lead the states to find means to protect human rights. also article 55 of the united nations charter introduces the respect to human rights and fundamental freedom as the most suitable ways to realize peace and security. ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید