Download or read book Compositional Translation written by M.T. Rosetta and published by Springer Science & Business Media. This book was released on 2013-12-01 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Recent Advances in Example Based Machine Translation written by M. Carl and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 524 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recent Advances in Example-Based Machine Translation is of relevance to researchers and program developers in the field of Machine Translation and especially Example-Based Machine Translation, bilingual text processing and cross-linguistic information retrieval. It is also of interest to translation technologists and localisation professionals. Recent Advances in Example-Based Machine Translation fills a void, because it is the first book to tackle the issue of EBMT in depth. It gives a state-of-the-art overview of EBMT techniques and provides a coherent structure in which all aspects of EBMT are embedded. Its contributions are written by long-standing researchers in the field of MT in general, and EBMT in particular. This book can be used in graduate-level courses in machine translation and statistical NLP.
Download or read book Dependence Logic written by Samson Abramsky and published by Birkhäuser. This book was released on 2016-06-29 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.
Download or read book The Logic of Software A Tasting Menu of Formal Methods written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2022-07-04 with total page 531 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book An Illustrative Dictionary of Semantics written by Mohammad Forouzani and published by Austin Macauley Publishers. This book was released on 2023-11-10 with total page 1200 pages. Available in PDF, EPUB and Kindle. Book excerpt: The significance of “meaning” goes beyond the word-level. Few disciplines, if at all, would do away with the knowledge and principles of semantics in their spoken and written discourse. ILLUDS is an illustrative dictionary of semantics aiming to provide language researchers with the key terms, terminologies, and phrases with even slight or indirect relation to semantics that appear in linguistics coursebooks and reference books. About 150 references have been used to compile this dictionary, one feature among several others that makes this book the first of its kind in content, approach, and scope.
Download or read book Intelligent Natural Language Processing Trends and Applications written by Khaled Shaalan and published by Springer. This book was released on 2017-11-17 with total page 763 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book brings together scientists, researchers, practitioners, and students from academia and industry to present recent and ongoing research activities concerning the latest advances, techniques, and applications of natural language processing systems, and to promote the exchange of new ideas and lessons learned. Taken together, the chapters of this book provide a collection of high-quality research works that address broad challenges in both theoretical and applied aspects of intelligent natural language processing. The book presents the state-of-the-art in research on natural language processing, computational linguistics, applied Arabic linguistics and related areas. New trends in natural language processing systems are rapidly emerging – and finding application in various domains including education, travel and tourism, and healthcare, among others. Many issues encountered during the development of these applications can be resolved by incorporating language technology solutions. The topics covered by the book include: Character and Speech Recognition; Morphological, Syntactic, and Semantic Processing; Information Extraction; Information Retrieval and Question Answering; Text Classification and Text Mining; Text Summarization; Sentiment Analysis; Machine Translation Building and Evaluating Linguistic Resources; and Intelligent Language Tutoring Systems.
Download or read book The Routledge Handbook of Translation and Media written by Esperança Bielsa and published by Routledge. This book was released on 2021-12-24 with total page 567 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Idioms and Collocations in Compositional Grammars written by André Schenk and published by . This book was released on 1993 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Handbook of Computational Linguistics and Natural Language Processing written by Alexander Clark and published by John Wiley & Sons. This book was released on 2012-10-04 with total page 802 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive reference work provides an overview of the concepts, methodologies, and applications in computational linguistics and natural language processing (NLP). Features contributions by the top researchers in the field, reflecting the work that is driving the discipline forward Includes an introduction to the major theoretical issues in these fields, as well as the central engineering applications that the work has produced Presents the major developments in an accessible way, explaining the close connection between scientific understanding of the computational properties of natural language and the creation of effective language technologies Serves as an invaluable state-of-the-art reference source for computational linguists and software engineers developing NLP applications in industrial research and development labs of software companies
Download or read book Software Engineering and Formal Methods written by Radu Calinescu and published by Springer Nature. This book was released on 2021-12-02 with total page 524 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Comparable Corpora and Computer assisted Translation written by Estelle Maryline Delpech and published by John Wiley & Sons. This book was released on 2014-07-22 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).
Download or read book Completeness of Compositional Translation written by Willem-Olaf Huijsen and published by . This book was released on 1998 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: Holländ. Zusammenfass.
Download or read book Anaphora and Type Logical Grammar written by Gerhard Jäger and published by Springer Science & Business Media. This book was released on 2005-12-08 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
Download or read book Machine Translation From Research to Real Users written by Association for Machine Translation in the Americas. Conference and published by Springer Science & Business Media. This book was released on 2002-09-24 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002, held in Tiburon, CA, USA, in October 2002. The 18 revised full technical papers, 3 user studies, and 9 system descriptions presented were carefully reviewed and selected for inclusion in the book. Among the issues addressed are hybrid translation environments, resource-limited MT, statistical word-level alignment, word formation rules, rule learning, web-based MT, translation divergences, example-based MT, data-driven MT, classification, contextual translation, the lexicon building process, commercial MT systems, speeck-to-speech translation, and language checking systems.
Download or read book Generative Programming and Component Engineering written by Gabor Karsai and published by Springer. This book was released on 2004-10-14 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Conference on Generative Programming and Component Engineering, GPCE 2004, held in Vancouver, Canada in October 2004. The 25 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on aspect-orientation, staged programming, types for meta-programming, meta-programming, model-driven approaches, product lines, and domain-specific languages and generation.
Download or read book The Things We Mean written by Stephen Schiffer and published by Clarendon Press. This book was released on 2003-09-04 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: If there exist such things as the things we mean, then those things are also the things we believe, and the things in terms of which we must understand all semantic notions. If such entities as the things we mean and believe exist, an account of their nature must be the most foundational concern in the theory of linguistic and mental representation. Schiffer argues that there are such things as the things we mean and believe. They are what he calls pleonastic propositions, and he provides an account of what they are in themselves and of their place in nature, language and thought. After developing the theory of pleonastic propositions, Schiffer uses it to provide accounts of (among other things) linguistic meaning and knowledge of meaning, the relation between intentional and non-intentional facts, vagueness and indeterminacy, moral discourse, conditionals, and the role of propositional content in information acquisition and explanation. This radical new treatment of meaning will command the attention of everyone who works on fundamental questions about language, and will attract much interest from other areas of philosophy.
Download or read book The Politics of Translating Sound Motifs in African Fiction written by Laurence Jay-Rayon Ibrahim Aibo and published by John Benjamins Publishing Company. This book was released on 2020-02-15 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: Starting with the premise that aesthetic choices reveal the ideological stances of translators, the author of this research monograph examines works of fiction by postcolonial African authors writing in English or French, the genesis and reception of their works, and the translation of each one into French or English. Texts include those by Nuruddin Farah from Somalia, Abdourahman Ali Waberi from Djibouti, Jean-Marie Adiaffi from Côte d’Ivoire, Ayi Kwei Armah from Ghana, Chenjerai Hove from Zimbabwe, and Assia Djebar from Algeria, and their translations by Jacqueline Bardolph, Jeanne Garane, Brigitte Katiyo, Jean-Pierre Richard, Josette and Robert Mane, and Dorothy Blair. The author highlights the aural poetics of these works, explores the sound motifs underlying their literary power, and shows how each is articulated with the writer’s literary heritage. She then embarks on a close examination of each translator’s background, followed by a rich analysis of their treatments of sound. The translators’ strategies for addressing sound motifs are contextualized in the larger framework of postcolonial literatures and changing reading materialities.
