Results for *

Displaying results 1 to 25 of 36.

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    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.

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(13452)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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
  3. 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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(13451)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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)
  4. 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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(13865)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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.

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

  6. Didaktik und Methodik der theoretischen Informatik
    Motivation und computerunterstütztes Lernen
    Published: 2000

    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Unlimited inter-library loan, copies and loan
    Bayerische Staatsbibliothek
    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

  7. Didaktik und Methodik der theoretischen Informatik
    Motivation und computerunterstütztes Lernen
    Published: 2000

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

    Erlangen-Nürnberg, Univ., Diss., 2000

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(14127)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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.

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

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(1400)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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.

  11. Formal methods
    foundations and applications, 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings
    Contributor: Lima, Lucas (HerausgeberIn); Molnár, Vince (HerausgeberIn)
    Published: [2022]
    Publisher:  Springer, Cham

    This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15... more

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(13768)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    No inter-library loan

     

    This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area

     

    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Lima, Lucas (HerausgeberIn); Molnár, Vince (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9783031224751
    Corporations / Congresses: SBMF, 25. (2022, Online)
    Series: Lecture notes in computer science ; 13768
    Subjects: Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Expert Systems; COMPUTERS / Hardware / Network Hardware; COMPUTERS / Programming / Software Development; Computer science; Expert systems / knowledge-based systems; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Network hardware; Netzwerk-Hardware; Software Engineering; Software Engineering; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: xiv, 142 Seiten, Diagramme
    Notes:

    Literaturangaben

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

    Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 2835(14308)
    No loan of volumes, only paper copies will be sent
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    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.

  13. Introduction to Transfer Learning
    Algorithms and Practice
    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.

  14. 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)
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    No inter-library loan
    Universitätsbibliothek Clausthal
    No inter-library loan
    Hochschulbibliothek Friedensau
    Online-Ressource
    No inter-library loan
    Hochschule Schmalkalden, Cellarius Bibliothek
    No inter-library loan
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    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
  15. 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)
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    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
  16. 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]
    Publisher:  Springer, Singapore

    This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6-10, 2022.The 16 full papers were included in this book were carefully reviewed and selected from 73... more

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

     

    This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6-10, 2022.The 16 full papers were included in this book were carefully reviewed and selected from 73 submissions

     

    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Pino, Juan (HerausgeberIn); Xiao, Tong (HerausgeberIn)
    Language: English
    Media type: Conference proceedings
    Format: Print
    ISBN: 9789811979590
    Corporations / Congresses: CCMT, 18. (2022, Lhasa)
    Series: Communications in Computer and Information Science ; 1671
    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; Informationstheorie; Kodierungstheorie und Verschlüsselung (Kryptologie); Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Society & social sciences; Theoretische Informatik
    Scope: xiv, 160 Seiten, Illustrationen, Diagramme
    Notes:

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

    PEACook: Post-Editing Advancement Cookbook.- Hot-start Transfer Learning combined with Approximate Distillation for Mongolian- Chinese Neural Machine Translation.- Review-based Curriculum Learning for Neural Machine Translation.- Multi-Strategy Enhanced Neural Machine Translation for Chinese Minority Language.- Target-side Language Model for Reference-free Machine Translation Evaluation.- Life Is Short, Train It Less: Neural Machine Tibetan-Chinese Translation Based on mRASP and Dataset Enhancement.- Improving the Robustness of Low-Resource Neural Machine Translation with Adversarial Examples.- Dynamic Mask Curriculum Learning for Non-Autoregressive Neural Machine Translation.- Dynamic Fusion Nearest Neighbor Machine Translation via Dempster-Shafer Theory.- A Multi-tasking and Multi-stage Chinese Minority Pre-Trained Language Model.- An improved Multi-task Approach to Pre-trained Model Based MT Quality Estimation.- Optimizing Deep Transformers for Chinese-Thai Low-Resource Translation.- HW-TSC Submission for CCMT 2022 Translation Quality Estimation Task.- Effective Data Augmentation Methods for CCMT 2022.- NJUNLP's Submission for CCMT 2022 Quality Estimation Task.- ISTIC's Thai-to-Chinese Neural Machine Translation System for CCMT' 2022.

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

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RS 7445(1922)
    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.

  18. Natural Language Interfaces to Databases
    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

  19. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    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

    Universitätsbibliothek der Fernuniversität
    TZH/UNG
    Unlimited inter-library loan, copies and loan
    Landesbibliothekszentrum Rheinland-Pfalz / Rheinische Landesbibliothek
    Unlimited inter-library loan, copies and loan
    Landesbibliothekszentrum Rheinland-Pfalz / Rheinische Landesbibliothek
    2023/8
    Loan of volumes, no copies
    Universitätsbibliothek Trier
    GC/nh1120
    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
  20. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    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

    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
  21. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Published: 2022.
    Publisher:  Springer Fachmedien Wiesbaden, Wiesbaden ; Imprint: Springer Vieweg

    Wissensverarbeitung im menschlichen Gehirn -- Lernen -- Netzwerke für die Textanalyse -- Digitale Updates und digitales Vergessen -- Exploration von Netzwerkstrukturen -- Konzepte des Text Minings in dezentralen Systemen -- Informationsmanagement im... more

    Access:
    Resolving-System (lizenzpflichtig)
    Universität Potsdam, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan

     

    Wissensverarbeitung im menschlichen Gehirn -- Lernen -- Netzwerke für die Textanalyse -- Digitale Updates und digitales Vergessen -- Exploration von Netzwerkstrukturen -- Konzepte des Text Minings in dezentralen Systemen -- Informationsmanagement im Web. 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. Der Inhalt Wissensverarbeitung im menschlichen Gehirn Lernen Netzwerke für die Textanalyse Digitale Updates und digitales Vergessen Exploration von Netzwerkstrukturen Konzepte des Text Minings in dezentralen Systemen Informationsmanagement im Web Die Zielgruppen Master-Studierende in folgenden Bereichen und Studiengängen: Informatik, Informationsverarbeitung, Big Data, Data Mining, Webdesign, Bibliothekswissenschaften Ingenieure, Anwender und Programmierer in einschlägigen Tätigkeitsfeldern Das Autoren-Team Prof. Dr. Herwig Unger, Dr. Mario Kubek und Dr. Panchalee Sukjit kommen aus unterschiedlichen Wissensgebieten der Informatik, die seit 2008 die gemeinsame Vision vereint, die meist textbasierten Ressourcen des WWW besser nutzbar zu machen. Von ihnen sind eine Vielzahl von Fachbeiträgen zum Thema auf wissenschaftlichen Tagungen, in Journalen bzw. Fachbüchern erschienen.

     

    Export to reference management software   RIS file
      BibTeX file
  22. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    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

    Universitätsbibliothek der Fernuniversität
    Unlimited inter-library loan, copies and loan
    Landesbibliothekszentrum Rheinland-Pfalz / Rheinische Landesbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Trier
    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
    Content information
    Source: Union catalogues
    Language: German
    Media type: Book
    Format: Print
    ISBN: 9783658372835
    Other identifier:
    9783658372835
    Subjects: Natural language processing (Computer science); Digital humanities; Algorithms; Data mining; Text Mining;Natural Language Processing;Wissensverarbeitung;Graphenbasierte Modelle;Internet Algorithmen;Dezentrale Systeme;Informationsmanagement;Lernverfahren;Inhaltsbasierte Sprachverarbeitung;Klassifikation;Textanalyse;Data Science
    Other subjects: Data Mining; Data Mining and Knowledge Discovery; Computer Science; Spracherkennung, Sprachverarbeitung; Computeranwendungen in Geistes- und Sozialwissenschaften; Digital Humanities; Theoretische Informatik; Design and Analysis of Algorithms; Algorithm Analysis and Problem Complexity; Hardcover, Softcover / Informatik, EDV/Informatik
    Scope: XII, 179 Seiten, Illustrationen
    Notes:

    Wissensverarbeitung im menschlichen Gehirn - Lernen - Netzwerke für die Textanalyse - Digitale Updates und digitales Vergessen - Exploration von Netzwerkstrukturen - Konzepte des Text Minings in dezentralen Systemen - Informationsmanagement im Web

  23. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Published: [2022]; © 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

    Badische Landesbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschulbibliothek Reutlingen (Lernzentrum)
    I 5-900-367
    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
    Content information
    Unbekannt (lizenzpflichtig)
    Inhaltsverzeichnis (lizenzpflichtig)
    Source: Union catalogues
    Language: German
    Media type: Book
    Format: Print
    ISBN: 9783658372835; 3658372834
    Other identifier:
    9783658372835
    Subjects: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / Data Mining; COMPUTERS / Programming / Algorithms; Computer-Anwendungen in Kunst und Geisteswissenschaften; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Data Mining; Data mining; LANGUAGE ARTS & DISCIPLINES / Library & Information Science; Literature: history & criticism; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Scope: XII, 179 Seiten, Illustrationen, 24 cm x 16.8 cm
    Notes:

    Wissensverarbeitung im menschlichen Gehirn - Lernen - Netzwerke für die Textanalyse - Digitale Updates und digitales Vergessen - Exploration von Netzwerkstrukturen - Konzepte des Text Minings in dezentralen Systemen - Informationsmanagement im Web

  24. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Published: 2022.
    Publisher:  Springer Fachmedien Wiesbaden, Wiesbaden ; Imprint: Springer Vieweg

    Wissensverarbeitung im menschlichen Gehirn -- Lernen -- Netzwerke für die Textanalyse -- Digitale Updates und digitales Vergessen -- Exploration von Netzwerkstrukturen -- Konzepte des Text Minings in dezentralen Systemen -- Informationsmanagement im... more

    Access:
    Resolving-System (lizenzpflichtig)
    Hochschule Aalen, Bibliothek
    E-Book Springer
    No inter-library loan
    Hochschule Biberach, Bibliothek
    E-Book Springer
    No inter-library loan
    Universitätsbibliothek Braunschweig
    No inter-library loan
    Staats- und Universitätsbibliothek Bremen
    No inter-library loan
    Hochschule 21, Bibliothek
    No inter-library loan
    Technische Universität Chemnitz, Universitätsbibliothek
    No inter-library loan
    Universitätsbibliothek Clausthal
    No inter-library loan
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    Springer Technik/Informatik 2022
    No inter-library loan
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    No inter-library loan
    Duale Hochschule Gera-Eisenach, Bibliothek, Campus Eisenach
    No inter-library loan
    Hochschule Emden/Leer, Hochschulbibliothek
    No inter-library loan
    Hochschule Esslingen, Bibliothek
    Springer E-Book
    No inter-library loan
    Zentrale Hochschulbibliothek Flensburg
    No inter-library loan
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    No inter-library loan
    Universitätsbibliothek Freiburg
    No inter-library loan
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    eBook Springer
    No loan of volumes, end user receives digital copy
    Duale Hochschule Gera-Eisenach, Bibliothek, Campus Gera
    No inter-library loan
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    ebook
    No inter-library loan
    HafenCity Universität Hamburg, Bibliothek
    No inter-library loan
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    No inter-library loan
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    No inter-library loan
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    No inter-library loan
    Technische Universität Hamburg, Universitätsbibliothek
    No inter-library loan
    Bibliothek der Hochschule Hannover
    No inter-library loan
    Bibliothek im Kurt-Schwitters-Forum
    No inter-library loan
    Leibniz-Fachhochschule Hannover, Bibliothek
    No inter-library loan
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    No inter-library loan
    Fachhochschule Westküste, Hochschule für Wirtschaft und Technik, Hochschulbibliothek
    No inter-library loan
    Universitätsbibliothek Heidelberg
    No loan of volumes, only paper copies will be sent
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    e-Book Springer
    No inter-library loan
    Bibliothek LIV HN Sontheim
    Springer ebook Technik/Inform
    No inter-library loan
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    No inter-library loan
    Universitätsbibliothek Ilmenau
    Online-Ressource
    No inter-library loan
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    No inter-library loan
    Thüringer Universitäts- und Landesbibliothek
    No inter-library loan
    Karlsruher Institut für Technologie, KIT-Bibliothek
    No loan of volumes, only paper copies will be sent
    Karlsruher Institut für Technologie, KIT-Bibliothek
    No loan of volumes, only paper copies will be sent
    Karlsruher Institut für Technologie, KIT-Bibliothek
    No loan of volumes, only paper copies will be sent
    Fachhochschule Kiel, Zentralbibliothek
    No inter-library loan
    Universitätsbibliothek Kiel, Zentralbibliothek
    No inter-library loan
    Bibliotheksservice-Zentrum Baden-Württemberg (BSZ)
    No inter-library loan
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    eBook Springer
    No inter-library loan
    Hochschule Anhalt , Hochschulbibliothek
    No inter-library loan
    Hochschule für Technik, Wirtschaft und Kultur Leipzig, Hochschulbibliothek
    No inter-library loan
    Universitätsbibliothek Leipzig
    No inter-library loan
    Duale Hochschule Baden-Württemberg Lörrach, Zentralbibliothek
    eBook Springer
    No inter-library loan
    Zentrale Hochschulbibliothek Lübeck
    No inter-library loan
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    No inter-library loan
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    No inter-library loan
    Otto-von-Guericke-Universität, Universitätsbibliothek
    eBook Springer
    No inter-library loan
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    eBook Springer
    No inter-library loan
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    eBook Springer
    No inter-library loan
    Hochschule Mannheim, Hochschulbibliothek
    eBook Springer
    No inter-library loan
    Universitätsbibliothek Mannheim
    No inter-library loan
    Universitätsbibliothek Mannheim
    No inter-library loan
    Hochschule Merseburg, Bibliothek
    No inter-library loan
    Hochschule Mittweida (FH), Hochschulbibliothek
    No inter-library loan
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    E-Book Springer
    No inter-library loan
    Hochschule Neubrandenburg, Bibliothek
    No inter-library loan
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    eBook Springer
    No loan of volumes, only paper copies will be sent
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    E-Book Springer
    No loan of volumes, end user receives digital copy
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    No inter-library loan
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    No inter-library loan
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    No inter-library loan
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    No inter-library loan
    Universitätsbibliothek Osnabrück
    No inter-library loan
    Hochschulbibliothek Pforzheim, Bereichsbibliothek Technik und Wirtschaft
    eBook Springer
    No inter-library loan
    Universität Potsdam, Universitätsbibliothek
    No inter-library loan
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    E-Book Springer
    No inter-library loan
    Hochschulbibliothek Reutlingen (Lernzentrum)
    eBook
    No inter-library loan
    Universitätsbibliothek Rostock
    No inter-library loan
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    No loan of volumes, only paper copies will be sent
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    No inter-library loan
    Saarländische Universitäts- und Landesbibliothek
    No inter-library loan
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    e-book
    No inter-library loan
    Hochschule für Gestaltung Schwäbisch Gmünd, Bibliothek
    eBook Springer
    No inter-library loan
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    eBook Springer
    No loan of volumes, only paper copies will be sent
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    No inter-library loan
    Hochschule Stralsund, Hochschulbibliothek
    No inter-library loan
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    eBook Springer
    No inter-library loan
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    eBook Springer
    No inter-library loan
    Hochschule für Technik Stuttgart, Bibliothek
    Springer eBook
    No inter-library loan
    Universitätsbibliothek Stuttgart
    No inter-library loan
    Universitätsbibliothek der Eberhard Karls Universität
    No loan of volumes, only paper copies will be sent
    Technische Hochschule Ulm, Bibliothek
    eBook Springer
    No loan of volumes, only paper copies will be sent
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    No inter-library loan
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    E-Book Springer
    No inter-library loan
    UB Weimar
    No inter-library loan
    Hochschulbibliothek Weingarten
    eBook Springer
    No inter-library loan
    Hochschule Harz, Hauptbibliothek, Standort Wernigerode / Harz
    No inter-library loan
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    No inter-library loan
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    No inter-library loan
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    No inter-library loan
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    No inter-library loan
    Westsächsische Hochschule Zwickau, Bibliothek
    Springer E-Book
    No inter-library loan

     

    Wissensverarbeitung im menschlichen Gehirn -- Lernen -- Netzwerke für die Textanalyse -- Digitale Updates und digitales Vergessen -- Exploration von Netzwerkstrukturen -- Konzepte des Text Minings in dezentralen Systemen -- Informationsmanagement im Web. 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. Der Inhalt Wissensverarbeitung im menschlichen Gehirn Lernen Netzwerke für die Textanalyse Digitale Updates und digitales Vergessen Exploration von Netzwerkstrukturen Konzepte des Text Minings in dezentralen Systemen Informationsmanagement im Web Die Zielgruppen Master-Studierende in folgenden Bereichen und Studiengängen: Informatik, Informationsverarbeitung, Big Data, Data Mining, Webdesign, Bibliothekswissenschaften Ingenieure, Anwender und Programmierer in einschlägigen Tätigkeitsfeldern Das Autoren-Team Prof. Dr. Herwig Unger, Dr. Mario Kubek und Dr. Panchalee Sukjit kommen aus unterschiedlichen Wissensgebieten der Informatik, die seit 2008 die gemeinsame Vision vereint, die meist textbasierten Ressourcen des WWW besser nutzbar zu machen. Von ihnen sind eine Vielzahl von Fachbeiträgen zum Thema auf wissenschaftlichen Tagungen, in Journalen bzw. Fachbüchern erschienen.

     

    Export to reference management software   RIS file
      BibTeX file
  25. Next Level Deep Machine Learning
    Complete Tips and Tricks to Deep Machine Learning