Skip to main navigation Skip to main content
info(at)avldigital.remove-this.de
Deutsch English
Last searches

Results for *

Displaying results 1 to 25 of 36.

  1. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Author: Unger, Herwig; Kubek, Mario; Sukjit, Panchalee
    Published: [2022]
    Publisher:  Springer Vieweg, Wiesbaden

    Für Leser, die bereits die Grundlagen der Wissensverarbeitung und Computernetzwerke beherrschen, gibt das Buch einen Überblick über innovative Verfahren, die die automatisierte Suche, Recherche, Klassifikation und Verwaltung von Texten im Kontext... more

    Location:
    Universitätsbibliothek der Fernuniversität
    Signature:
    TZH/UNG
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Landesbibliothekszentrum Rheinland-Pfalz / Rheinische Landesbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Location:
    Landesbibliothekszentrum Rheinland-Pfalz / Rheinische Landesbibliothek
    Signature:
    2023/8
    Inter-library loan:
    Loan of volumes, no copies

    Location:
    Universitätsbibliothek Trier
    Signature:
    GC/nh1120
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

     

    Für Leser, die bereits die Grundlagen der Wissensverarbeitung und Computernetzwerke beherrschen, gibt das Buch einen Überblick über innovative Verfahren, die die automatisierte Suche, Recherche, Klassifikation und Verwaltung von Texten im Kontext dezentraler Systeme und vor allem im WWW erlauben. Besondere Aufmerksamkeit wird dabei auf eine personalisierte Verarbeitung gerichtet, die auch zeitliche Aspekte, wie z. B. das digitale Vergessen, einbeziehen. An vielen Stellen werden auf interessante und neuartige Art und Weise Analogien aus anderen Wissensgebieten, so z. B. zur Verarbeitung von Informationen und zum Lernen im menschlichen Gehirn sowie der Natur schlechthin genutzt.

     
    Export to reference management software   RIS file
      BibTeX file
  2. Von Autofahrern und Autobauern – Zur Rolle der Informatik in der (Medien)bildung
    Author: Felderer, Michael; Breu, Ruth
    Published: 2018
    Publisher:  Philipps-Universität Marburg, Marburg ; Innsbruck University Press, Innsbruck

    Access:
    Verlag (kostenfrei)

    Location:
    Technische Hochschule Bingen, Bibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Inter-library loan:
    No inter-library loan

    Location:
    Bibliothek der Frankfurt University of Applied Sciences
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    Inter-library loan:
    No inter-library loan

    Location:
    Technische Hochschule Mittelhessen, Hochschulbibliothek Gießen
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Gießen
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Inter-library loan:
    No inter-library loan

    Location:
    LEIZA - Leibniz-Zentrum für Archäologie, Bibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Universität Mainz, Zentralbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Universität Marburg, Universitätsbibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Inter-library loan:
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Hug, Theo (Herausgeber)
    Language: German
    Media type: Book
    Format: Online
    Other identifier:
    DDC Categories: 004
    Subjects: Informatik; Informatikunterricht; Medienpädagogik; Theoretische Informatik; Neue Medien
    Scope: 1 Online-Ressource
    Notes:

    In: Theo Hug (Hg.): Medienpädagogik. Herausforderungen für Lernen und Bildung im Medienzeitalter. Innsbruck: Innsbruck University Press 2018, S. 77–83.
  3. ÜberBrücken
    Festschrift für Ulrich Groenke zum 65. Geburtstag
    Contributor: Groenke, Ulrich
    Published: 1989
    Publisher:  Buske, Hamburg

    Location:
    Universitätsbibliothek Bamberg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Bayreuth
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Bayerische Staatsbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek der LMU München
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Regensburg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Würzburg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Groenke, Ulrich
    Language: German; Danish; Swedish
    Media type: Book
    ISBN: 3871188840
    RVK Categories: EC 1090 ; EC 1620 ; ES 715 ; GB 1825 ; GW 1005 ; GW 1020
    Subjects: Filologie; Scandinavische talen; Scandinavian philology; Literatur; Kombinatorik; Theoretische Informatik; Berechenbarkeit
    Scope: XVII, 508 S., Ill.
    Notes:

    Bibliogr. U. Groenke S. 503 - 508. - Beitr. teilw. dt., teilw. engl., teilw. finn., teilw. isländ.
  4. Didaktik und Methodik der theoretischen Informatik
    Motivation und computerunterstütztes Lernen
    Author: Grillenbeck, Richard
    Published: 2000

    Location:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

    Location:
    Bayerische Staatsbibliothek
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: German
    Media type: Book
    RVK Categories: SR 910
    Subjects: Theoretische Informatik - Unterricht - Fachdidaktik; Computerunterstütztes Lernen; Didaktik; Theoretische Informatik; Motivation
    Scope: VI, 144, 18 S., Ill., graph. Darst.
    Notes:

    Erlangen-Nürnberg, Univ., Diss., 2000
  5. Über Brücken
    Festschr. für Ulrich Groenke zum 65. Geburtstag
    Contributor: Groenke, Ulrich
    Published: 1989
    Publisher:  Buske, Hamburg

    Location:
    Universitätsbibliothek Augsburg
    Inter-library loan:
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Groenke, Ulrich
    Language: Undetermined
    Media type: Book
    ISBN: 3871188840
    RVK Categories: GB 1825
    Subjects: Literatur; Kombinatorik; Berechenbarkeit; Theoretische Informatik
    Scope: XVII, 508 S., Ill.
    Notes:

    Beitr. teilw. dt., teilw., engl., teilw. dän.
  6. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Author: Unger, Herwig; Kubek, Mario; Sukjit, Panchalee
    Published: 2022
    Publisher:  Springer Fachmedien Wiesbaden GmbH, Wiesbaden

    Für Leser, die bereits die Grundlagen der Wissensverarbeitung und Computernetzwerke beherrschen, gibt das Buch einen Überblick über innovative Verfahren, die die automatisierte Suche, Recherche, Klassifikation und Verwaltung von Texten im Kontext... more

    Location:
    Universitätsbibliothek Trier

     

    Für Leser, die bereits die Grundlagen der Wissensverarbeitung und Computernetzwerke beherrschen, gibt das Buch einen Überblick über innovative Verfahren, die die automatisierte Suche, Recherche, Klassifikation und Verwaltung von Texten im Kontext dezentraler Systeme und vor allem im WWW erlauben. Besondere Aufmerksamkeit wird dabei auf eine personalisierte Verarbeitung gerichtet, die auch zeitliche Aspekte, wie z. B. das digitale Vergessen, einbeziehen. An vielen Stellen werden auf interessante und neuartige Art und Weise Analogien aus anderen Wissensgebieten, so z. B. zur Verarbeitung von Informationen und zum Lernen im menschlichen Gehirn sowie der Natur schlechthin genutzt

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
  7. Von Autofahrern und Autobauern – Zur Rolle der Informatik in der (Medien)bildung
    Author: Felderer, Michael; Breu, Ruth
    Published: 2018
    Publisher:  Philipps-Universität Marburg, Marburg ; Innsbruck University Press, Innsbruck

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Hug, Theo (Herausgeber)
    Language: German
    Media type: Book
    Format: Online
    Other identifier:
    Subjects: Informatik; Informatikunterricht; Medienpädagogik; Theoretische Informatik; Neue Medien
    Other subjects: Digitalisierung; Informatik; Medien; Bildung
    Scope: Online-Ressource
    Notes:

    In: Theo Hug (Hg.): Medienpädagogik. Herausforderungen für Lernen und Bildung im Medienzeitalter. Innsbruck: Innsbruck University Press 2018, S. 77–83.
  8. Introduction to Transfer Learning
    Algorithms and Practice
    Author: Wang, Jindong; Chen, Yiqiang
    Published: 2023
    Publisher:  Springer Verlag, Singapore, Singapore

    Transfer learning is one of the most important technologies in the era of artificial intelligence and deep learning. It seeks to leverage existing knowledge by transferring it to another, new domain. Over the years, a number of relevant topics have... more

     

    Transfer learning is one of the most important technologies in the era of artificial intelligence and deep learning. It seeks to leverage existing knowledge by transferring it to another, new domain. Over the years, a number of relevant topics have attracted the interest of the research and application community: transfer learning, pre-training and fine-tuning, domain adaptation, domain generalization, and meta-learning. This book offers a comprehensive tutorial on an overview of transfer learning, introducing new researchers in this area to both classic and more recent algorithms. Most importantly, it takes a "student's" perspective to introduce all the concepts, theories, algorithms, and applications, allowing readers to quickly and easily enter this area. Accompanying the book, detailed code implementations are provided to better illustrate the core ideas of several important algorithms, presenting good examples for practice

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9789811975837
    Edition: 1st ed. 2023
    Series: Machine Learning: Foundations, Methodologies, and Applications
    Subjects: COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Graphics / General; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Speech & Audio Processing; Computer science; Image processing; Machine learning; Maschinelles Lernen; Maschinelles Sehen, Bildverstehen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik
    Scope: 329 Seiten
    Notes:

    Part I. Foundations of Transfer Learning.- Chapter 1. Introduction.- Chapter 2. From Machine Learning to Transfer Learning.- Chapter 3. Overview of Transfer Learning Algorithms.- Chapter 4. Instance Weighting Methods.- Chapter 5. Statistical Feature Transformation Methods.- Chapter 6. Geometrical Feature Transformation Methods.- Chapter 7. Theory, Evaluation, and Model Selection.- Part II. Modern Transfer Leaning.- Chapter 8. Pre-training and Fine-tuning.- Chapter 9. Deep Transfer Learning.- Chapter 10. Adversarial Transfer Learning.- Chapter 11. Generalization in Transfer Learning.- Chapter 12. Safe & Robust Transfer Learning.- Chapter 13. Transfer Learning in Complex Environments.- Chapter 14. Low-resource Learning.- Part III. Applications.- Chapter 15. Transfer Learning for Computer Vision.- Chapter 16. Transfer Learning for Natural language Processing.- Chapter 17. Transfer Learning for Speech Recognition.- Chapter 18. Transfer Learning for Activity Recognition.- Chapter 19. Federated Learning for Personalized Healthcare.- Chapter 20. Concluding Remarks.
  9. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers
    Contributor: Gelbukh, Alexander (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Inter-library loan:
    No inter-library loan

     

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions. The book also contains 3 invited papers.The papers are organized in the following topical sections: General, Information extraction, Information retrieval, Language modeling, Lexical resources, Machine translation, Morphology, sintax, parsing, Name entity recognition, Semantics and text similarity, Sentiment analysis, Speech processing, Text categorization, Text generation, and Text mining

     
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Gelbukh, Alexander (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    Corporations / Congresses: CICLing, 20. (2019, La Rochelle)
    Series: Lecture notes in computer science
    Subjects: COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Data Processing / Storage & Retrieval; COMPUTERS / Database Management / Data Mining; COMPUTERS / Database Management / General; COMPUTERS / Programming / General; Computer programming / software development; Data Mining; Data Warehousing; Data mining; Databases; Datenbanken; Information retrieval; Informationsrückgewinnung, Information Retrieval; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Notes:

    Artificial intelligence.- Natural language processing.- Information extraction.- Lexical semantics.- Natural language generation.- Language resources.- Phonology .- Morphology.- Discourse.- Dialogue and pragmatics.
  10. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers – Part 2
    Contributor: Gelbukh, Alexander (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13452)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions. The book also contains 3 invited papers.The papers are organized in the following topical sections: General, Information extraction, Information retrieval, Language modeling, Lexical resources, Machine translation, Morphology, sintax, parsing, Name entity recognition, Semantics and text similarity, Sentiment analysis, Speech processing, Text categorization, Text generation, and Text mining

     
    Export to reference management software   RIS file
      BibTeX file
  11. Deep Machine Learning
    A Comprehensive Beginner Developer Guide to Deep Machine Learning Algorithms, Concepts and Techniques
    Author: Grant, Joe
    Published: 2023
    Publisher:  Ingramspark, [Erscheinungsort nicht ermittelbar]

  12. Explainable and transparent AI and multi-agent systems
    5th international workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers
    Contributor: Calvaresi, Davide (HerausgeberIn); Najjar, Amro (HerausgeberIn); Omicini, Andrea (HerausgeberIn); Aydogan, Reyhan (HerausgeberIn); Carli, Rachele (HerausgeberIn); Ciatto, Giovanni (HerausgeberIn); Mualla, Yazan (HerausgeberIn); Främling, Kary (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Cham

    This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023. The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(14127)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023. The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Calvaresi, Davide (HerausgeberIn); Najjar, Amro (HerausgeberIn); Omicini, Andrea (HerausgeberIn); Aydogan, Reyhan (HerausgeberIn); Carli, Rachele (HerausgeberIn); Ciatto, Giovanni (HerausgeberIn); Mualla, Yazan (HerausgeberIn); Främling, Kary (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031408779
    Corporations / Congresses: EXTRAAMAS, 5. (2023, London)
    Series: Array ; 14127
    Subjects: Artificial intelligence; COM094000; COMPUTERS / Artificial Intelligence; COMPUTERS / Compilers; COMPUTERS / Expert Systems; COMPUTERS / Machine Theory; COMPUTERS / Natural Language Processing; Compiler und Übersetzer; Compilers; Expert systems / knowledge-based systems; Künstliche Intelligenz; Machine learning; Maschinelles Lernen; Mathematical theory of computation; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xii, 280 Seiten, Diagramme
    Notes:

    Literaturangaben

    Explainable Agents and multi-agent systems.- Mining and Validating Belief-based Agent Explanations.- Evaluating a mechanism for explaining BDI agent behaviour.- A General-Purpose Protocol for Multi-Agent based Explanations.- Dialogue Explanations for Rules-based AI Systems.- Estimating Causal Responsibility for Explaining Autonomous Behavior.- Explainable Machine Learning.- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing.- Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors.- Imperative Action Masking for Safe Exploration in Reinforcement Learning.- Reinforcement Learning in Cyclic Environmental Change for Non-Communicative Agents: A Theoretical Approach.- Inherently Interpretable Deep Reinforcement Learning through Online Mimicking.- Counterfactual, Contrastive, and Hierarchical Explanations with Contextual Importance and Utility.- Cross-domain applied XAI.- Explanation Generation via Decompositional Rules Extraction for Head and Neck Cancer Classification.- Metrics for Evaluating Explainable Recommender Systems.- Leveraging Imperfect Explanations for Plan Recognition Problems.- Reinterpreting Vulnerability to Tackle Deception in Principles-Based XAI for Human-Computer Interaction.- Using Cognitive Models and Wearables to Diagnose and Predict Dementia Patient Behaviour.
  13. Machine Translation
    18th China Conference, CCMT 2022, Lhasa, China, August 6-10, 2022, revised selected papers
    Contributor: Pino, Juan (HerausgeberIn); Xiao, Tong (HerausgeberIn)
    Published: [2022]; ©2022
    Publisher:  Springer, Singapore

    Intro -- Preface -- Organization -- Contents -- PEACook: Post-editing Advancement Cookbook -- 1 Introduction -- 2 Related Work -- 2.1 APE Problem and APE Metrics -- 2.2 APE Baselines -- 3 PEACook Corpus -- 3.1 PEACook Corpus Details -- 4 Baseline... more

    Access:
    Aggregator (lizenzpflichtig)

    Location:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Inter-library loan:
    No inter-library loan

    Location:
    Universitätsbibliothek Clausthal
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschulbibliothek Friedensau
    Signature:
    Online-Ressource
    Inter-library loan:
    No inter-library loan

    Location:
    Hochschule Schmalkalden, Cellarius Bibliothek
    Inter-library loan:
    No inter-library loan

    Location:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Inter-library loan:
    No inter-library loan

     

    Intro -- Preface -- Organization -- Contents -- PEACook: Post-editing Advancement Cookbook -- 1 Introduction -- 2 Related Work -- 2.1 APE Problem and APE Metrics -- 2.2 APE Baselines -- 3 PEACook Corpus -- 3.1 PEACook Corpus Details -- 4 Baseline Model Experiments -- 4.1 Pre-training AR-APE Model -- 4.2 Fine-Tuning AR-APE Model -- 4.3 Pre-training NAR-APE Model -- 4.4 Fine-Tuning NAR-APE Model -- 5 Conclusion -- References -- Hot-Start Transfer Learning Combined with Approximate Distillation for Mongolian-Chinese Neural Machine Translation -- 1 Introduction -- 2 Background -- 2.1 NMT -- 2.2 Transfer Learning -- 2.3 Pre-train Techniques -- 3 Methods -- 3.1 Word Alignment Under Hot-Start -- 3.2 Approximate Distillation -- 4 Experiment -- 4.1 Settings -- 4.2 Results and Analysis -- 4.3 Ablation Test -- 4.4 Case Analysis -- 5 Conclusion -- References -- Review-Based Curriculum Learning for Neural Machine Translation -- 1 Introduction -- 2 Related Work -- 3 Review-Based Curriculum Learning -- 3.1 Time-Based Review Method -- 3.2 Master-Based Review Method -- 3.3 General Domain Enhanced Training -- 4 Experiment -- 4.1 Data and Setup -- 4.2 Main Results -- 5 Analysis -- 5.1 Effect of Mixed Fine Tuning -- 5.2 Low-Resource Scenario -- 5.3 Data Sharding -- 5.4 Training Efficiency -- 6 Conclusion -- References -- Multi-strategy Enhanced Neural Machine Translation for Chinese Minority Languages -- 1 Introduction -- 2 Dataset -- 3 System Overview -- 3.1 Back-Translation -- 3.2 Alternated Training -- 3.3 Ensemble -- 4 Experiments -- 4.1 Mongolian Chinese -- 4.2 TibetanChinese -- 4.3 UyghurChinese -- 5 Analysis -- 5.1 The Effect of Different Back-Translation Methods -- 5.2 The Impact of Sentence Segmentation on the Translation Quality of Machine Translation -- 5.3 Analysis of BLEU Scores of MongolianChinese Machine Translation on the Development Set.

     
    Export to reference management software   RIS file
      BibTeX file
  14. Formal Analysis for Natural Language Processing: A Handbook
    Author: Feng, Zhiwei
    Published: 2023
    Publisher:  Springer Verlag, Singapore, Singapore

    The field of natural language processing (NLP) is one of the most important and useful application areas of artificial intelligence. NLP is now rapidly evolving, as new methods and toolsets converge with an ever-expanding wealth of available data.... more

     

    The field of natural language processing (NLP) is one of the most important and useful application areas of artificial intelligence. NLP is now rapidly evolving, as new methods and toolsets converge with an ever-expanding wealth of available data. This state-of-the-art handbook addresses all aspects of formal analysis for natural language processing. Following a review of the field's history, it systematically introduces readers to the rule-based model, statistical model, neural network model, and pre-training model in natural language processing. At a time characterized by the steady and vigorous growth of natural language processing, this handbook provides a highly accessible introduction and much-needed reference guide to both the theory and method of NLP. It can be used for individual study, as the textbook for courses on natural language processing or computational linguistics, or as a supplement to courses on artificial intelligence, and offers a valuable asset for researchers, practitioners, lecturers, graduate and undergraduate students alike

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9789811651717
    Edition: 1st ed. 2023
    Subjects: COMPUTERS / Computer Science; COMPUTERS / Data Processing / Speech & Audio Processing; Computational linguistics; Computer science; Computerlinguistik und Korpuslinguistik; LANGUAGE ARTS & DISCIPLINES / Linguistics; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik
    Scope: 796 Seiten
    Notes:

    Part One History Review Chapter One Past and Present of Natural Language Processing 1.1 What is natural language processing 1.2 History review of natural language processing 1.3 Characteristics of current trends in natural language processing References Chapter Two Pioneers in the Study of Language Computing 2.1 Markov chains 2.2 Zipf's law 2.3 Shannon's work on entropy 2.4 Bar-Hillel's category grammar 2.5 Harris's approach of linguistic string analysis 2.6 . . 's linguistic set theory model References
  15. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers – Part 1
    Contributor: Gelbukh, Alexander (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13451)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France, April 2019.The total of 95 papers presented in the two volumes was carefully reviewed and selected from 335 submissions. The book also contains 3 invited papers.The papers are organized in the following topical sections: General, Information extraction, Information retrieval, Language modeling, Lexical resources, Machine translation, Morphology, sintax, parsing, Name entity recognition, Semantics and text similarity, Sentiment analysis, Speech processing, Text categorization, Text generation, and Text mining

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
  16. Formal methods
    25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings
    Contributor: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Published: [2023]
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(1400)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031274800
    Corporations / Congresses: International Symposium on Formal Methods, 25. (2023, Lübeck)
    Series: Lecture notes in computer science ; 14000
    Subjects: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Expert Systems; COMPUTERS / General; COMPUTERS / Hardware / General; COMPUTERS / Programming / General; COMPUTERS / Programming / Software Development; Computer programming / software development; Computerhardware; Computing & information technology; Expert systems / knowledge-based systems; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programmier- und Skriptsprachen, allgemein; Software Engineering; Software Engineering; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xvi, 659 Seiten, Diagramme
    Notes:

    Literaturangaben

    Keynotes.- Symbolic Computation in Automated Program Reasoning.- The next big thing: from embedded systems to embodied actors.- Intelligent and Dependable Decision-Making Under Uncertainty.- A Coq formalization of Lebesgue Induction Principle and Tonelli's Theorem.- SAT/SMT.- Railway Scheduling Using Boolean Satisfiability Modulo Simulations.- SMT Sampling via Model-Guided Approximation.- Efficient SMT-based Network Fault Tolerance Verification.- Verification I.- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.- Can we Communicate? Using Dynamic Logic to Verify Team Automata.- The ScalaFix equation solver.- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.- Quantitative Verification.- symQV: Automated Symbolic Verification of Quantum Programs.- PFL: a Probabilistic Logic for Fault Trees.- Energy Buechi Problems.- QMaude: quantitative specification and verification in rewriting logic.- Concurrency and Memory Models.- Minimisation of Spatial Models using Branching Bisimilarity.- Reasoning about Promises in Weak Memory Models with Event Structures.- A fine-grained semantics for arrays and pointers under weak memory models.- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs.- Verification 2.- Verifying At the Level of Java Bytecode.- Abstract Alloy Instances.- Monitoring the Internet Computer.- Word Equations in Synergy with Regular Constraints.- Formal Methods in AI.- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets.- The Octatope Abstract Domain for Verification of Neural Networks.- Program Semantics and Verification Technique for AI-centred Programs.- Safety and Reliability.- Tableaux for Realizability of Safety Specifications.- A Decision Diagram Operation for Reachability.- Formal Modelling of Safety Architecture for Responsibility-AwareAutonomous Vehicle via Event-B Refinement.- A Runtime Environment for Contract Automata.- Industry Day.- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.- Shifting Left for Early Detection of Machine-Learning Bugs.- A Systematic Approach to Automotive Security.- Specification-Guided Critical Scenario Identification for Automated Driving.- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
  17. Rules and reasoning
    6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings
    Contributor: Governatori, Guido (HerausgeberIn); Turhan, Anni-Yasmin (HerausgeberIn)
    Published: [2022]
    Publisher:  Springer, Cham

    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13752)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems).The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Governatori, Guido (HerausgeberIn); Turhan, Anni-Yasmin (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031215407
    Corporations / Congresses: International Joint Conference on Rules and Reasoning, 6. (2022, Online)
    Series: Lecture notes in computer science ; 13752
    Subjects: Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; COMPUTERS / Expert Systems; Computer science; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Databases; Datenbanken; Expert systems / knowledge-based systems; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Public administration; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xii, 304 Seiten
    Notes:

    Interessenniveau: 06, Professional and scholarly: For an expert adult audience, including academic research. (06)

    Answer Set Programming.- Foundations of Nonmonotonic Reasoning.- Datalog.- Queries Over Ontologies.- Proofs, Error-tolerance, and Rules.- Agents and Argumentation.
  18. Computers and games
    international conference, CG 2022, virtual event, November 22-24, 2022 : revised selected papers
    Contributor: Browne, Cameron (HerausgeberIn); Kishimoto, Akihiro (HerausgeberIn); Schaeffer, Jonathan (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the International Conference on Computers and Games, CG 2022, held virtually, during November 22-24, 2022. The 15 full papers included in this book were carefully reviewed and selected from 23... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(13865)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the refereed proceedings of the International Conference on Computers and Games, CG 2022, held virtually, during November 22-24, 2022. The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: classic games, multi-player and multi-action games, solving games, measuring games, decision making in games and puzzles

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Browne, Cameron (HerausgeberIn); Kishimoto, Akihiro (HerausgeberIn); Schaeffer, Jonathan (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031340161
    Corporations / Congresses: Computers and Games Conference, 11. (2022, Online)
    Series: Lecture notes in computer science ; 13865
    Subjects: Algorithms & data structures; COMPUTERS / Programming / Algorithms; Theoretische Informatik
    Scope: xii, 190 Seiten, Diagramme
    Notes:

    Literaturangaben

    Classic Games: FairKalah: Towards Fair Mancala Play.- Improving Search in Go Using Bounded Static Safety.- Chinese Checkers Bitboards for Move Generation and Ranking Using Bitboards. Multi-Player and Multi-Action Games: Solving Chainmail Jousting.- An Algorithm for Multiplayer Games Exploiting Opponents' Interactions with the Player.- Incentivizing Information Gain in Hidden Information Multi-Action Games. Solving Games: QBF Solving using Best First Search.- Oware is Strongly Solved.- Solving Impartial SET using Knowledge and Combinatorial Game Theory. Measuring Games: Which Rules for Mu Torere?.- Measuring Board Game Distance. Decision Making in Games and Puzzles: Improving Computer Play in Skat with Hope Cards.- Batch Monte Carlo Tree Search.- Human and Computer Decision-Making in Chess with Applications to Online Cheat Detection.- Procedural Generation of Rush Hour Levels.
  19. Machine translation
    19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023 : proceedings
    Contributor: Feng, Yang (HerausgeberIn); Feng, Chong (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Singapore

    This book constitutes the refereed proceedings of the 19th China Conference on Machine Translation, CCMT 2023, held in Jinan, China, during October 19-21, 2023. The 8 full papers and 3 short papers included in this book were carefully reviewed and... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RS 7445(1922)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

     

    This book constitutes the refereed proceedings of the 19th China Conference on Machine Translation, CCMT 2023, held in Jinan, China, during October 19-21, 2023. The 8 full papers and 3 short papers included in this book were carefully reviewed and selected from 71 submissions. They focus on machine translation; improvement of translation models and systems; translation quality estimation; document-level machine translation; low-resource machine translation

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Feng, Yang (HerausgeberIn); Feng, Chong (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9789819978939
    Corporations / Congresses: CCMT, 19. (2023, Jinan)
    Series: Communications in computer and information science ; 1922
    Subjects: COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; COMPUTERS / Information Theory; COMPUTERS / Programming / General; Coding theory & cryptology; Computer programming / software development; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Databases; Datenbanken; Information technology: general issues; Informationstheorie; Kodierungstheorie und Verschlüsselung (Kryptologie); Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik
    Scope: xiv, 130 Seiten, Illustrationen, Diagramme
    Notes:

    Literaturangaben

    Transn's submission for CCMT 2023 Quality Estimation Task.- HW-TSC's Neural Machine Translation System for CCMT 2023.- CCMT2023 Machine Translation Evaluation Technical Report.- Korean-Chinese Machine Translation Method Based on Independent Language Features.- NJUNLP's Submission for CCMT 2023 Quality Estimation Task.- HIT-MI&T Lab's Submission to CCMT 2023 Automatic Post-Editing Task.- A k-Nearest Neighbor Approach for Domain-Specific Translation Quality Estimation.- WSA: A Unified Framework for Word and Sentence Autocompletion in Interactive Machine Translation.- ISTIC's Neural Machine Translation Systems for CCMT'2023.- A Novel Dataset and Benchmark Analysis on Document Image Translation.- Joint Contrastive Learning for Factual Consistency Evaluation of Cross-Lingual Abstract Summarization.
  20. Static analysis
    30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings
    Contributor: Hermenegildo, Manuel V. (HerausgeberIn); Morales, José F. (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(14284)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Hermenegildo, Manuel V. (HerausgeberIn); Morales, José F. (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031442445
    Corporations / Congresses: SAS, 30. (2023, Cascais)
    Series: Array ; 14284
    Subjects: COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Networking / General; COMPUTERS / Programming / General; COMPUTERS / Programming Languages / General; Compiler und Übersetzer; Computer networking & communications; Computer programming / software development; Computerhardware; MATHEMATICS / Logic; Mathematical theory of computation; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programming & scripting languages: general; Theoretische Informatik
    Scope: xiv, 566 Seiten, Diagramme
    Notes:

    Literaturangaben

    Verifying Infinitely Many Programs at Once.- Abstract Interpretation in Industry - Experience and Lessons Learned.- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.- Modular Optimization-Based Roundo Error Analysis of Floating-Point Programs.- Unconstrained Variable Oracles for Faster Numeric Static Analyses.- Symbolic transformation of expressions in modular arithmetic.- A Formal Framework to Measure the Incompleteness of Abstract Interpretations.- BREWasm: A General Static Binary Rewriting Framework for WebAssembly.- Quantum Constant Propagation.- Error Invariants for Fault Localization via Abstract Interpretation.- Generalized Program Sketching by Abstract Interpretation and Logical Abduction.- Mutual Refinements of Context-Free Language Reachability.- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.- How fitting is your abstract domain? .- A Product of Shape and Sequence Abstractions.- Error Localization for Sequential Effect Systems.- Scaling up Roundo Analysis of Functional Data Structure Programs.- Reverse Template Processing using Abstract Interpretation.- Domain Precision in Galois Connection-less Abstract Interpretation.- Lifting On-Demand Analysis to Highe-Order Languages.- Octagons Revisited - Elegant Proofs and Simplified Algorithms.- Polynomial Analysis of Modular Arithmetic.- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification.
  21. Formal methods and software engineering
    24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings
    Contributor: Li, Yi (HerausgeberIn); Tahar, Sofiène (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Singapore

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023. The 13 full papers presented together with 8 doctoral... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(14308)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Li, Yi (HerausgeberIn); Tahar, Sofiène (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9789819975839
    Corporations / Congresses: International Conference on Formal Engineering Methods, 24. (2023, Brisbane)
    Series: Lecture notes in computer science ; 14308
    Subjects: Angewandte Informatik; COMPUTERS / Computer Science; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Programming / General; COMPUTERS / Programming / Software Development; COMPUTERS / Programming Languages / General; Compiler und Übersetzer; Computer programming / software development; Computer science; Computerprogrammierung und Softwareentwicklung; Information technology: general issues; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programming & scripting languages: general; Software Engineering; Software Engineering; Theoretische Informatik
    Scope: xxviii, 300 Seiten, Diagramme
    Notes:

    Literaturangaben

    Invited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist's Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapolation in Extended Timed Automata.- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models.- Trace models of concurrent valuation algebras.- Branch and Bound for Sigmoid-like Neural Network Verification.- Certifying Sequential Consistency of Machine Learning Accelerators.- Guided Integration of Formal Verification in Assurance Cases.- Validation-Driven Development.- Incremental Property Directed Reachability.- Proving Local Invariants in ASTDs.- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.- Early and systematic validation of formal models.- Verifying Neural Networks by Approximating Convex Hulls.- Eager to Stop: Efficient Falsification of Deep Neural Networks.- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning.- Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision.- IoT Software Vulnerability Detection Techniques through Large Language Model.- Vulnerability Detection via Typestate-Guided Code Representation Learning.
  22. The AI Expedition
    Author: Joshi, Manas
    Published: 2023
    Publisher:  Manas Joshi, [Erscheinungsort nicht ermittelbar]

  23. Natural Language Interfaces to Databases
    Author: Li, Yunyao; Radev, Dragomir; Rafiei, Davood
    Published: 2023
    Publisher:  Springer International Publishing AG, Cham

    This book presents a comprehensive overview of Natural Language Interfaces to Databases (NLIDBs), an indispensable tool in the ever-expanding realm of data-driven exploration and decision making. After first demonstrating the importance of the field... more

     

    This book presents a comprehensive overview of Natural Language Interfaces to Databases (NLIDBs), an indispensable tool in the ever-expanding realm of data-driven exploration and decision making. After first demonstrating the importance of the field using an interactive ChatGPT session, the book explores the remarkable progress and general challenges faced with real-world deployment of NLIDBs. It goes on to provide readers with a holistic understanding of the intricate anatomy, essential components, and mechanisms underlying NLIDBs and how to build them. Key concepts in representing, querying, and processing structured data as well as approaches for optimizing user queries are established for the reader before their application in NLIDBs is explored. The book discusses text to data through early relevant work on semantic parsing and meaning representation before turning to cutting-edge advancements in how NLIDBs are empowered to comprehend and interpret human languages. Various evaluation methodologies, metrics, datasets and benchmarks that play a pivotal role in assessing the effectiveness of mapping natural language queries to formal queries in a database and the overall performance of a system are explored. The book then covers data to text, where formal representations of structured data are transformed into coherent and contextually relevant human-readable narratives. It closes with an exploration of the challenges and opportunities related to interactivity and its corresponding techniques for each dimension, such as instances of conversational NLIDBs and multi-modal NLIDBs where user input is beyond natural language. This book provides a balanced mixture of theoretical insights, practical knowledge, and real-world applications that will be an invaluable resource for researchers, practitioners, and students eager to explore the fundamental concepts of NLIDBs

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9783031450426
    Edition: 1st ed. 2024
    Series: Synthesis Lectures on Data Management
    Subjects: COMPUTERS / Database Management / General; COMPUTERS / Machine Theory; COMPUTERS / Natural Language Processing; COMPUTERS / Social Aspects / Human-Computer Interaction; Databases; Datenbanken; Human-computer interaction; Mathematical theory of computation; Mensch-Computer-Interaktion; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik
    Scope: 236 Seiten
    Notes:

    Chapter 1 Overview.- Chapter 2 Building an NLIDB: The Basics.- Chapter 3 Data and Query Model.- Chapter 4 Text to Data.- Chapter 5 Evaluation.- Chapter 6 Data to Text.- Chapter 7 Interactivity.- Index
  24. Rules and reasoning
    7th international joint conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings
    Contributor: Fensel, Anna (HerausgeberIn); Ozaki, Ana (HerausgeberIn); Roman, Dumitru (HerausgeberIn); Soylu, Ahmet (HerausgeberIn)
    Published: [2023]; © 2023
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18-20, 2023. The 13 full papers and 3 short papers included in these proceedings... more

    Location:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signature:
    RN 2835(14244)
    Inter-library loan:
    No loan of volumes, only paper copies will be sent

    Location:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Inter-library loan:
    No inter-library loan

     

    This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18-20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems

     
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Cover (lizenzpflichtig)
    Source: Union catalogues
    Contributor: Fensel, Anna (HerausgeberIn); Ozaki, Ana (HerausgeberIn); Roman, Dumitru (HerausgeberIn); Soylu, Ahmet (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031450716
    Corporations / Congresses: RuleML+RR, 7. (2023, Oslo)
    Series: Lecture notes in computer science ; 14244
    Subjects: Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Database Management / General; COMPUTERS / Expert Systems; COMPUTERS / Machine Theory; COMPUTERS / Natural Language Processing; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Databases; Datenbanken; Expert systems / knowledge-based systems; Information technology: general issues; Künstliche Intelligenz; Mathematical theory of computation; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Social research & statistics; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xxii, 253 Seiten, Diagramme
    Notes:

    Literaturangaben

    Papers.- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment.- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement.- Combining Proofs for Description Logic and Concrete Domain Reasoning.- Notation3 as an Existential Rule Language.- Fine-tuning Large Enterprise Language Models via Ontological Reasoning.- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets.- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs.- Marrying Query Rewriting and Knowledge Graph Embeddings.- Lore: Educational Deductive Database System.- Comparing State of the Art Rule-Based Tools for Information Extraction.- A Case Study for Declarative Pattern Mining in Digital Forensics.- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle.- FreeCHR: An Algebraic Framework for CHR-Embeddings.- Explaining the optimal trajectories.- Abstract Domains for Database Manipulating Processes.- Extracting Interpretable Hierarchical Rules from Deep Neural Networks' Latent Space.
  25. Machine Translation
    18th China Conference, CCMT 2022, Lhasa, China, August 6-10, 2022, revised selected papers
    Contributor: Pino, Juan (HerausgeberIn); Xiao, Tong (HerausgeberIn)
    Published: [2022]; ©2022
    Publisher:  Springer, Singapore

    Intro -- Preface -- Organization -- Contents -- PEACook: Post-editing Advancement Cookbook -- 1 Introduction -- 2 Related Work -- 2.1 APE Problem and APE Metrics -- 2.2 APE Baselines -- 3 PEACook Corpus -- 3.1 PEACook Corpus Details -- 4 Baseline... more

    Access:
    Aggregator (lizenzpflichtig)

    Location:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Inter-library loan:
    Unlimited inter-library loan, copies and loan

     

    Intro -- Preface -- Organization -- Contents -- PEACook: Post-editing Advancement Cookbook -- 1 Introduction -- 2 Related Work -- 2.1 APE Problem and APE Metrics -- 2.2 APE Baselines -- 3 PEACook Corpus -- 3.1 PEACook Corpus Details -- 4 Baseline Model Experiments -- 4.1 Pre-training AR-APE Model -- 4.2 Fine-Tuning AR-APE Model -- 4.3 Pre-training NAR-APE Model -- 4.4 Fine-Tuning NAR-APE Model -- 5 Conclusion -- References -- Hot-Start Transfer Learning Combined with Approximate Distillation for Mongolian-Chinese Neural Machine Translation -- 1 Introduction -- 2 Background -- 2.1 NMT -- 2.2 Transfer Learning -- 2.3 Pre-train Techniques -- 3 Methods -- 3.1 Word Alignment Under Hot-Start -- 3.2 Approximate Distillation -- 4 Experiment -- 4.1 Settings -- 4.2 Results and Analysis -- 4.3 Ablation Test -- 4.4 Case Analysis -- 5 Conclusion -- References -- Review-Based Curriculum Learning for Neural Machine Translation -- 1 Introduction -- 2 Related Work -- 3 Review-Based Curriculum Learning -- 3.1 Time-Based Review Method -- 3.2 Master-Based Review Method -- 3.3 General Domain Enhanced Training -- 4 Experiment -- 4.1 Data and Setup -- 4.2 Main Results -- 5 Analysis -- 5.1 Effect of Mixed Fine Tuning -- 5.2 Low-Resource Scenario -- 5.3 Data Sharding -- 5.4 Training Efficiency -- 6 Conclusion -- References -- Multi-strategy Enhanced Neural Machine Translation for Chinese Minority Languages -- 1 Introduction -- 2 Dataset -- 3 System Overview -- 3.1 Back-Translation -- 3.2 Alternated Training -- 3.3 Ensemble -- 4 Experiments -- 4.1 Mongolian Chinese -- 4.2 TibetanChinese -- 4.3 UyghurChinese -- 5 Analysis -- 5.1 The Effect of Different Back-Translation Methods -- 5.2 The Impact of Sentence Segmentation on the Translation Quality of Machine Translation -- 5.3 Analysis of BLEU Scores of MongolianChinese Machine Translation on the Development Set.

     
    Export to reference management software   RIS file
      BibTeX file