Compositional Translation PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Compositional Translation PDF full book. Access full book title Compositional Translation by M.T. Rosetta. Download full books in PDF and EPUB format.
Author: M.T. Rosetta
Publisher: Springer Science & Business Media
ISBN: 9401583064
Category : Computers
Languages : en
Pages : 484
Get Book Here
Book Description
This book provides an in-depth review of machine translation by discussing in detail a particular method, called compositional translation, and a particular system, Rosetta, which is based on this method. The Rosetta project is a unique combination of fundamental research and large-scale implementation. The book covers all scientifically interesting results of the project, highlighting the advantages of designing a translation system based on a relation between reversible compositional grammars. The power of the method is illustrated by presenting elegant solutions to a number of well-known translation problems. The most outstanding characteristic of the book is that it provides a firm linguistic foundation for machine translation. For this purpose insights from Montague Grammar are integrated with ideas developed within the Chomskyan tradition, in a computationally feasible framework. Great care has been taken to introduce the basic concepts of the underlying disciplines to the uninitiated reader, which makes the book accessible to a wide audience, including linguists, computer scientists, logicians and translators.
Author: M.T. Rosetta
Publisher: Springer Science & Business Media
ISBN: 9401583064
Category : Computers
Languages : en
Pages : 484
Get Book Here
Book Description
This book provides an in-depth review of machine translation by discussing in detail a particular method, called compositional translation, and a particular system, Rosetta, which is based on this method. The Rosetta project is a unique combination of fundamental research and large-scale implementation. The book covers all scientifically interesting results of the project, highlighting the advantages of designing a translation system based on a relation between reversible compositional grammars. The power of the method is illustrated by presenting elegant solutions to a number of well-known translation problems. The most outstanding characteristic of the book is that it provides a firm linguistic foundation for machine translation. For this purpose insights from Montague Grammar are integrated with ideas developed within the Chomskyan tradition, in a computationally feasible framework. Great care has been taken to introduce the basic concepts of the underlying disciplines to the uninitiated reader, which makes the book accessible to a wide audience, including linguists, computer scientists, logicians and translators.
Author: Christa Hauenschild
Publisher: Walter de Gruyter
ISBN: 3110802473
Category : Language Arts & Disciplines
Languages : en
Pages : 281
Get Book Here
Book Description
The series serves to propagate investigations into language usage, especially with respect to computational support. This includes all forms of text handling activity, not only interlingual translations, but also conversions carried out in response to different communicative tasks. Among the major topics are problems of text transfer and the interplay between human and machine activities.
Author: Estelle Maryline Delpech
Publisher: John Wiley & Sons
ISBN: 1119002702
Category : Computers
Languages : en
Pages : 221
Get Book Here
Book Description
Computer-assisted translation (CAT) has always used translation memories, which require the translator to have a corpus of previous translations that the CAT software can use to generate bilingual lexicons. This can be problematic when the translator does not have such a corpus, for instance, when the text belongs to an emerging field. To solve this issue, CAT research has looked into the leveraging of comparable corpora, i.e. a set of texts, in two or more languages, which deal with the same topic but are not translations of one another. This work had two primary objectives. The first is to assess the input of lexicons extracted from comparable corpora in the context of a specialized human translation task. The second objective is to identify bilingual-lexicon-extraction methods which best match the translators' needs, determining the current limits of these techniques and suggesting improvements. The author focuses, in particular, on the identification of fertile translations, the management of multiple morphological structures, and the ranking of candidate translations. The experiments are carried out on two language pairs (English–French and English–German) and on specialized texts dealing with breast cancer. This research puts significant emphasis on applicability – methodological choices are guided by the needs of the final users. This book is organized in two parts: the first part presents the applicative and scientific context of the research, and the second part is given over to efforts to improve compositional translation. The research work presented in this book received the PhD Thesis award 2014 from the French association for natural language processing (ATALA).
Author: Johan F.A.K. van Benthem
Publisher: Elsevier
ISBN: 0444537279
Category : Mathematics
Languages : en
Pages : 1169
Get Book Here
Book Description
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories
Author: Wolfgang Ahrendt
Publisher: Springer Nature
ISBN: 3031081668
Category : Computers
Languages : en
Pages : 531
Get Book Here
Book Description
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.
Author: Mihoko Otake
Publisher: Springer
ISBN: 3319509535
Category : Computers
Languages : en
Pages : 558
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.
Author: Stanley Peters
Publisher: Oxford University Press
ISBN: 019929125X
Category : Language Arts & Disciplines
Languages : en
Pages : 549
Get Book Here
Book Description
Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basicknowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.
Author: Christel Baier
Publisher: Springer
ISBN: 3319893661
Category : Computers
Languages : en
Pages : 586
Get Book Here
Book Description
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
Author: Esperança Bielsa
Publisher: Routledge
ISBN: 1000478513
Category : Language Arts & Disciplines
Languages : en
Pages : 567
Get Book Here
Book Description
The Routledge Handbook of Translation and Media provides the first comprehensive account of the role of translation in the media, which has become a thriving area of research in recent decades. It offers theoretical and methodological perspectives on translation and media in the digital age, as well as analyses of a wide diversity of media contexts and translation forms. Divided into four parts with an editor introduction, the 33 chapters are written by leading international experts and provide a critical survey of each area with suggestions for further reading. The Handbook aims to showcase innovative approaches and developments, bridging the gap between currently separate disciplinary subfields and pointing to potential synergies and broad research topics and issues. With a broad-ranging, critical and interdisciplinary perspective, this Handbook is an indispensable resource for all students and researchers of translation studies, audiovisual translation, journalism studies, film studies and media studies.
Author: Lubos Brim
Publisher: Springer Science & Business Media
ISBN: 9783540648277
Category : Computers
Languages : en
Pages : 876
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS'98, held in Brno, Czech Republic, in August 1998. The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. Also included are 11 full invited surveys by prominent leaders in the area. The papers are organized in topical sections on problem complexity; logic, semantics, and automata; rewriting; automata and transducers; typing; concurrency, semantics, and logic; circuit complexity; programming; structural complexity; formal languages; graphs; Turing complexity and logic; binary decision diagrams, etc..
