Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
info(at)avldigital.remove-this.de
Deutsch English
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Zeige Ergebnisse 1 bis 25 von 239.

  1. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Autor*in: Unger, Herwig; Kubek, Mario; Sukjit, Panchalee
    Erschienen: [2022]; © 2022
    Verlag:  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... mehr

    Standort:
    Badische Landesbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Hochschulbibliothek Reutlingen (Lernzentrum)
    Signatur:
    I 5-900-367
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Unbekannt (lizenzpflichtig)
    Inhaltsverzeichnis (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783658372835; 3658372834
    Weitere Identifier:
    9783658372835
    Schlagworte: 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
    Umfang: XII, 179 Seiten, Illustrationen, 24 cm x 16.8 cm
    Bemerkung(en):

    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
  2. Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
    Autor*in: Unger, Herwig; Kubek, Mario; Sukjit, Panchalee
    Erschienen: 2022.
    Verlag:  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... mehr

    Zugang:
    Resolving-System (lizenzpflichtig)

    Standort:
    Hochschule Aalen, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Biberach, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Braunschweig
    Fernleihe:
    keine Fernleihe

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule 21, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Clausthal
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    Signatur:
    Springer Technik/Informatik 2022
    Fernleihe:
    keine Fernleihe

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Gera-Eisenach, Bibliothek, Campus Eisenach
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Emden/Leer, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Esslingen, Bibliothek
    Signatur:
    Springer E-Book
    Fernleihe:
    keine Fernleihe

    Standort:
    Zentrale Hochschulbibliothek Flensburg
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Freiburg
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Ausleihe von Bänden, der Endnutzer erhält eine elektronische Kopie

    Standort:
    Duale Hochschule Gera-Eisenach, Bibliothek, Campus Gera
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    ebook
    Fernleihe:
    keine Fernleihe

    Standort:
    HafenCity Universität Hamburg, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Fernleihe:
    keine Fernleihe
    Standort:
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Universität Hamburg, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliothek der Hochschule Hannover
    Fernleihe:
    keine Fernleihe
    Standort:
    Bibliothek im Kurt-Schwitters-Forum
    Fernleihe:
    keine Fernleihe

    Standort:
    Leibniz-Fachhochschule Hannover, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Fachhochschule Westküste, Hochschule für Wirtschaft und Technik, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Heidelberg
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    Signatur:
    e-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliothek LIV HN Sontheim
    Signatur:
    Springer ebook Technik/Inform
    Fernleihe:
    keine Fernleihe

    Standort:
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    Online-Ressource
    Fernleihe:
    keine Fernleihe

    Standort:
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Fachhochschule Kiel, Zentralbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliotheksservice-Zentrum Baden-Württemberg (BSZ)
    Fernleihe:
    keine Fernleihe

    Standort:
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Anhalt , Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Technik, Wirtschaft und Kultur Leipzig, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Lörrach, Zentralbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Zentrale Hochschulbibliothek Lübeck
    Fernleihe:
    keine Fernleihe

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Mannheim, Hochschulbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Mannheim
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Merseburg, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Mittweida (FH), Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Neubrandenburg, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    Signatur:
    eBook Springer
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Ausleihe von Bänden, der Endnutzer erhält eine elektronische Kopie

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Fernleihe:
    keine Fernleihe

    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    Fernleihe:
    keine Fernleihe
    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Osnabrück
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschulbibliothek Pforzheim, Bereichsbibliothek Technik und Wirtschaft
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschulbibliothek Reutlingen (Lernzentrum)
    Signatur:
    eBook
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Rostock
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    Fernleihe:
    keine Fernleihe

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Fernleihe:
    keine Fernleihe
    Standort:
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    Signatur:
    e-book
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Gestaltung Schwäbisch Gmünd, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    Signatur:
    eBook Springer
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Stralsund, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Technik Stuttgart, Bibliothek
    Signatur:
    Springer eBook
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Stuttgart
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek der Eberhard Karls Universität
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Technische Hochschule Ulm, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    UB Weimar
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschulbibliothek Weingarten
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Harz, Hauptbibliothek, Standort Wernigerode / Harz
    Fernleihe:
    keine Fernleihe

    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Westsächsische Hochschule Zwickau, Bibliothek
    Signatur:
    Springer E-Book
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
  3. Frontiers in handwriting recognition
    18th International Conference, ICFHR 2022, Hyderabad, India, December 4-7, 2022, proceedings
    Beteiligt: Porwal, Utkarsh (HerausgeberIn); Fornes, Alicia (HerausgeberIn); Shafait, Faisal (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  Springer, Cham

    This book constitutes the refereed proceedings of the 18th International Conference on Frontiers in Handwriting Recognition, ICFHR 2022, which took place in Hyderabad, India, during December 4-7, 2022.The 36 full papers and 1 short paper presented in... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13639)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes the refereed proceedings of the 18th International Conference on Frontiers in Handwriting Recognition, ICFHR 2022, which took place in Hyderabad, India, during December 4-7, 2022.The 36 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 61 submissions. The contributions were organized in topical sections as follows: Historical Document Processing; Signature Verification and Writer Identification; Symbol and Graphics Recognition; Handwriting Recognition and Understanding; Handwriting Datasets and Synthetic Handwriting Generation; Document Analysis and Processing

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Porwal, Utkarsh (HerausgeberIn); Fornes, Alicia (HerausgeberIn); Shafait, Faisal (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031216473
    Körperschaften/Kongresse: ICFHR, 18. (2022, Hyderabad)
    Schriftenreihe: Lecture notes in computer science ; 13639
    Schlagworte: COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Vision & Pattern Recognition; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Data Processing / Storage & Retrieval; COMPUTERS / Database Management / General; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Data Warehousing; Databases; Datenbanken; Information retrieval; Informationsrückgewinnung, Information Retrieval; Machine learning; Maschinelles Lernen; Mustererkennung; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Pattern recognition; Society & social sciences
    Umfang: xiv, 564 Seiten, Illustrationen
    Bemerkung(en):

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

    Historical Document Processing.- A Few Shot Multi-Representation Approach for N-gram Spotting in Historical Manuscripts.- Text Edges Guided Network for Historical Document Super Resolution.- CurT: End-to-End Text Line Detection in Historical Documents with Transformers.- Date Recognition in Historical Parish Records.- Improving Isolated Glyph Classification Task for Palm leaf Manuscripts.- Signature Verification and Writer Identification.- Impact of Type of Convolution Operation on Performance of Convolutional Neural Networks for Online Signature Verification.- COMPOSV: Light Weight Online Signature Verification Framework through Compound Feature Extraction and Few-shot Learning.- Finger-Touch Direction Feature Using a Frequency Distribution in the Writer Verification Base on Finger-Writing of a Simple Symbol.- Self-Supervised Vision Transformers with Data Augmentation Strategies using Morphological Operations for Writer Retrieval.- EAU-Net: A New Edge-Attention based U-Net for Nationality Identification.- Progressive Multitask Learning Network for Online Chinese Signature Segmentation and Recognition.- Symbol and Graphics Recognition.- Musigraph: Optical Music Recognition through Object Detection and Graph Neural Network.- Combining CNN and Transformer as Encoder to Improve End-to-end Handwritten Mathematical Expression Recognition Accuracy.- A Vision Transformer based Scene Text Recognizer with Multi-Grained Encoding and Decoding.- Spatial Attention and Syntax Rule Enhanced Tree Decoder for Offline Handwritten Mathematical Expression Recognition.- Handwriting Recognition and Understanding.- FPRNet: End-to-end Full-page Recognition Model for Handwritten Chinese Essay.- Active Transfer Learning for Handwriting Recognition.- Recognition-free Question Answering on Handwritten Document Collections.- Handwriting recognition and automatic scoring for descriptive answers in Japanese language tests.- A Weighted Combination of Semantic and Syntactic Word Image Representations.- Combining Self-Training and Minimal Annotations for Handwritten Word Recognition.- Script-Level Word Sample Augmentation for Few-shot Handwritten Text Recognition.- Towards understanding and improving handwriting with AI.- ChaCo: Character Contrastive Learning for Handwritten Text Recognition.- Enhancing Indic Handwritten Text Recognition using Global Semantic Information.- Yi Characters Online Handwriting Recognition Models Based on Recurrent Neural Network: RnnNet-Yi and ParallelRnnNet-Yi.- Self-Attention Networks for Non-Recurrent Handwritten Text Recognition.- An Efficient Prototype-based Model for Handwritten Text Recognition with Multi-Loss Fusion.- Handwriting Datasets and Synthetic Handwriting Generation.- Urdu Handwritten Ligature Generation using Generative Adversarial Networks (GANs).- SCUT-CAB: A New Benchmark Dataset of Ancient Chinese Books with Complex Layouts for Document Layout Analysis.- A Benchmark Gurmukhi Handwritten Character Dataset: Acquisition, Compilation, and Recognition.- Synthetic Data Generation for Semantic Segmentation of Lecture Videos.- Generating synthetic styled Chu Nom characters.- UOHTD: Urdu Offline Handwritten Text Dataset.- Document Analysis and Processing.- DAZeTD: Deep Analysis of Zones in Torn Documents.- CNN-based Ruled Line Removal in Handwritten Documents.- Complex Table Structure Recognition in the Wild using Transformer and Identity Matrix-based Augmentation.
  4. Trends in functional programming
    23rd International Symposium, TFP 2022, virtual event, March 17-18, 2022 : revised selected papers
    Beteiligt: Swierstra, Wouter (HerausgeberIn); Wu, Nicolas (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  Springer, Cham

    This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13401)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Swierstra, Wouter (HerausgeberIn); Wu, Nicolas (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031213137
    Körperschaften/Kongresse: TFP, 23. (2022, Online)
    Schriftenreihe: Lecture notes in computer science ; 13401
    Schlagworte: Algorithms & data structures; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / General; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Programming / General; Computer programming / software development; Computerhardware; Computerprogrammierung und Softwareentwicklung; Computing & information technology; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programmier- und Skriptsprachen, allgemein; Systemanalyse und -design; Systems analysis & design
    Umfang: 191 Seiten
    Bemerkung(en):

    Embedding generic monadic transformer into Scala (Project Paper).- Towards a Language for Defining Reusable Programming Language Components (Project Paper).- Deep Embedding with Class.- Understanding Algebraic Effect Handlers via Delimited Control Operators.- Reducing the Power Consumption of IoT with Task-Oriented Programming.- Semantic equivalence of task-oriented programs in TopHat.- Algorithm Design with the Selection Monad.- Sound and Complete Type Inference for Closed Effect Rows.- Towards Efficient Adjustment of Effect Rows.
  5. AI in the Financial Markets
    New Algorithms and Solutions
    Beteiligt: Cecconi, Federico (HerausgeberIn)
    Erschienen: 2023
    Verlag:  Springer International Publishing AG, Cham

    This book is divided into two parts, the first of which describes AI as we know it today, in particular the Fintech-related applications. In turn, the second part explores AI models in financial markets: both regarding applications that are already... mehr

     

    This book is divided into two parts, the first of which describes AI as we know it today, in particular the Fintech-related applications. In turn, the second part explores AI models in financial markets: both regarding applications that are already available (e.g. the blockchain supply chain, learning through big data, understanding natural language, or the valuation of complex bonds) and more futuristic solutions (e.g. models based on artificial agents that interact by buying and selling stocks within simulated worlds). The effects of the COVID-19 pandemic are starting to show their financial effects: more companies in a liquidity crisis; more unstable debt positions; and more loans from international institutions for states and large companies. At the same time, we are witnessing a growth of AI technologies in all fields, from the production of goods and services, to the management of socio-economic infrastructures: in medicine, communications, education, and security. The question then becomes: could we imagine integrating AI technologies into the financial markets, in order to improve their performance? And not just limited to using AI to improve performance in high-frequency trading or in the study of trends. Could we imagine AI technologies that make financial markets safer, more stable, and more comprehensible? The book explores these questions, pursuing an approach closely linked to real-world applications. The book is intended for three main categories of readers: (1) management-level employees of companies operating in the financial markets, banks, insurance operators, portfolio managers, brokers, risk assessors, investment managers, and debt managers; (2) policymakers and regulators for financial markets, from government technicians to politicians; and (3) readers curious about technology, both for professional and private purposes, as well as those involved in innovation and research in the private and public spheres

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
  6. Bots in Suits
    Using Generative AI to Revolutionize Your Business
    Autor*in: Gausling, Nick
    Erschienen: 2023
    Verlag:  Romy Group LLC, [Erscheinungsort nicht ermittelbar]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9798215496787
    Schlagworte: COM094000; COMPUTERS / Natural Language Processing; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: 134 Seiten
  7. Machine Translation
    18th China Conference, CCMT 2022, Lhasa, China, August 6-10, 2022, revised selected papers
    Beteiligt: Pino, Juan (HerausgeberIn); Xiao, Tong (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1671)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Pino, Juan (HerausgeberIn); Xiao, Tong (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9789811979590
    Körperschaften/Kongresse: CCMT, 18. (2022, Lhasa)
    Schriftenreihe: Communications in Computer and Information Science ; 1671
    Schlagworte: 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
    Umfang: xiv, 160 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    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.
  8. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    Körperschaften/Kongresse: CICLing, 20. (2019, La Rochelle)
    Schriftenreihe: Lecture notes in computer science
    Schlagworte: 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
    Bemerkung(en):

    Artificial intelligence.- Natural language processing.- Information extraction.- Lexical semantics.- Natural language generation.- Language resources.- Phonology .- Morphology.- Discourse.- Dialogue and pragmatics.
  9. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers – Part 2
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13452)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
  10. Introduction to Transfer Learning
    Algorithms and Practice
    Autor*in: Wang, Jindong; Chen, Yiqiang
    Erschienen: 2023
    Verlag:  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... mehr

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9789811975837
    Auflage/Ausgabe: 1st ed. 2023
    Schriftenreihe: Machine Learning: Foundations, Methodologies, and Applications
    Schlagworte: 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
    Umfang: 329 Seiten
    Bemerkung(en):

    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.
  11. Genetic programming
    26th European Conference, EuroGP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings
    Beteiligt: Giacobini, Mario (HerausgeberIn); Pappa, Gisele (HerausgeberIn); Vasicek, Zdenek (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    This book constitutes the refereed proceedings of the 26th European Conference on Genetic Programming, EuroGP 2023, held as part of EvoStar 2023, in Brno, Czech Republic, during April 12-14, 2023, and co-located with the EvoStar events, EvoCOP,... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13986)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes the refereed proceedings of the 26th European Conference on Genetic Programming, EuroGP 2023, held as part of EvoStar 2023, in Brno, Czech Republic, during April 12-14, 2023, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers and 8 short papers presented in this book were carefully reviewed and selected from 38 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new variants of GP algorithms for both optimization and machine learning problems as well as exploring GP to address complex real-world problems

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
  12. Generative Artificial Intelligence
    Exploring New Business Opportunities using ChatGPT, with prompts to optimize chatbot, Write Better, code fast, to Monetize & improve professional and personal life
    Autor*in: Genius, Ai Tech
    Erschienen: 2023
    Verlag:  Anma Lab Limited, [Erscheinungsort nicht ermittelbar]

  13. Artificial Intelligence-Based Performance Evaluation of Routing in Manet
    Autor*in: Rangaraj, J
    Erschienen: 2023
    Verlag:  Independent Author, [Erscheinungsort nicht ermittelbar]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9781886982703
    Schlagworte: COMPUTERS / Natural Language Processing; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: 156 Seiten
  14. Concept Map Generation from Domain Text Using Machine Learning and Deep Learning Techniques
    Autor*in: Adan U, Kodaika Virin
    Erschienen: 2023
    Verlag:  Independent Author, [Erscheinungsort nicht ermittelbar]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9784358670979
    Schlagworte: COM094000; COMPUTERS / Natural Language Processing; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: 162 Seiten
  15. Navigating the Web
    a qualitative eye tracking-based study of translators' Web search behaviour
    Autor*in: Shih, Claire Y
    Erschienen: 2023
    Verlag:  Cambridge University Press, Cambridge

    This Element reports an investigation of translators' use of web-based resources and search engines. The study adopted a qualitative eye tracking-based methodology utilising a combination of gaze replay and retrospective think aloud (RTA) to elicit... mehr

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    This Element reports an investigation of translators' use of web-based resources and search engines. The study adopted a qualitative eye tracking-based methodology utilising a combination of gaze replay and retrospective think aloud (RTA) to elicit data. The main contribution of this Element lies in presenting not only an alternative eye tracking methodology for investigating translators' web search behaviour but also a systematic approach to gauging the reasoning behind translators' highly complex and context-dependent interaction with search engines and the Web

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9781009114134
    RVK Klassifikation: ES 740
    Schriftenreihe: Elements in Translation and Interpreting
    Schlagworte: Chinesisch; Human-computer interaction; LANGUAGE ARTS & DISCIPLINES / Linguistics; Mensch-Computer-Interaktion; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Translation & interpretation; Übersetzen und Dolmetschen
    Umfang: 69 Seiten, Illustrationen
    Bemerkung(en):

    1. Introduction; 2. Existing studies; 3. Methodology; 4. Findings and discussion; 5. Conclusion; References.
  16. Chinese lexical semantics
    Part 2
    Beteiligt: Su, Qi (HerausgeberIn); Xu, Ge (HerausgeberIn); Yang, Xiaoyan (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022. In total the two-volume set includes 39 full... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13496)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022. In total the two-volume set includes 39 full papers and 19 short papers which were carefully reviewed and selected from 214 submissions. They are organized in the following topical sections: lexical semantics; corpus linguistics; general linguistics, lexical resources; computational linguistics, applications of natural language processing

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Su, Qi (HerausgeberIn); Xu, Ge (HerausgeberIn); Yang, Xiaoyan (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031289552
    Übergeordneter Titel: Chinese lexical semantics - Alle Bände anzeigen
    Körperschaften/Kongresse: Chinese Lexical Semantics Workshop, 23. (2022, Online)
    Schriftenreihe: Lecture notes in artificial intelligence ; 13496
    Schlagworte: Bildverarbeitung; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Optical Data Processing; COMPUTERS / Natural Language Processing; Chinese; Chinesisch; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Image processing; Information technology: general issues; LANGUAGE ARTS & DISCIPLINES / Semantics; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Semantics, discourse analysis, etc; Semantik, Diskursanalyse, Stilistik; Social research & statistics
    Umfang: xi, 393 Seiten, Diagramme
    Bemerkung(en):

    Literaturangaben

    Semantic Prosody: The Study of Gei in BA and BEI Constructions.- Corpus-Based Lexical Features and Thematic Analysis of China's Five-Year Plan for the 21st Century.- Corpus Construction for Generating Knowledge Graph of Sichuan Cuisine.- Building a Semantically Annotated Corpus of Chinese Directional Complements.- BBAE: a Method for Few-Shot Charge Prediction with Data Augmentation and Neural Network.- A Preliminary Quantitative Investigation of Chinese Monosyndetic Coordinators.- Frequency in Chinese Ballad Song Lyrics: A Quantitative Morpheme-Based Study.- Gender-Related Use of Tonal Patterns in Mandarin Chinese: The Case of Sentence-Final Particle ma.- A Quantitative Study on the Low-Degree Adverb "Shaowei"--A Stylistic Perspective.- The Relationship of Lexical Richness to the Quality of CSL Writings.- Research on Korean "Long-before-Short" Preference from the Perspective of Dependency Distance.- A Dependency Structure Annotation for Modality in Chinese News Articles.- How Do People React to COVID-19 Vaccination? A Corpus-based Study of Macau Netizens' Online Comments.- REFORM IS A JOURNEY: Conceptualizing China's Reform and Opening-up in the Official News Discourse.- The Emotion Code in Sensory Modalities: An investigation of the relationship between sensorimotor dimensions and emotional valence-arousal.- From Genitive to Conjunctive: Coordinator li55 in Chongqing Mandarin.- The Prediction Function of Collocations on the Quality Assessment of Chinese Second Language Learners' Oral Production.- Verb Raising and the Construction Mechanism of Synthetic Compounds.- The Construction of Grammatical Synonym Resources of Disyllabic Verbs in Modern Chinese.- Extraction and Application of Verb Event Structure Based on Grammatical Knowledge-Base of Contemporary Chinese(GKB).- Semantic Classification of Adverbial Nouns Based on Syntactic Treebank and Construction of Collocation Da-tabase.- A Framework for Dictionary Development: Building Domain Dictionary for Legal Field.- RoBERTa: An Efficient Dating Method of Ancient Chinese Texts.- Building a Corpus for Chinese Causality Extraction in Futures Domain.- Research on Hotspots of Educational Application of Natural Language Processing Based on LDA Topic Model.- A Metrological Study on the Spatial Narrative of the Qishu Genre: Take A Dream of Red Mansions and Water Margin as Examples.- Chinese Argument Identification Based on Bert.- Irony Recognition in Chinese Text Based on Linguistic Features and Attention Mechanism.- A Phrase Disambiguation Method of "Quanbu V de N" Based on SBERT Model and Syntactic Rule.- Automatic Recognition of Verb-complement Separable Words Based on BCC.
  17. Requirements Engineering: Foundation for Software Quality
    29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
    Beteiligt: Ferrari, Alessio (HerausgeberIn); Penzenstadler, Birgit (HerausgeberIn)
    Erschienen: 2023
    Verlag:  Springer International Publishing AG, Cham

    This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023. The 12 full... mehr

     

    This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023. The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Ferrari, Alessio (HerausgeberIn); Penzenstadler, Birgit (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783031297854
    Auflage/Ausgabe: 1st ed. 2023
    Schriftenreihe: Lecture Notes in Computer Science
    Schlagworte: Angewandte Informatik; COM094000; COMPUTERS / Computer Science; COMPUTERS / Natural Language Processing; COMPUTERS / Programming / Software Development; EDU029090; EDUCATION / Computers & Technology; Educational equipment & technology, computer-aided learning (CAL); Information technology: general issues; Lehrmittel, Lerntechnologien, E-Learning; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Software Engineering; Software Engineering
    Umfang: 368 Seiten
    Bemerkung(en):

    Requirements Communication and Conceptualization.- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange.- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.- Supporting Shared Understanding in Asynchronous Communication Contexts.- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution.- Understanding the Role of Human-Related Factors in Security Requirements Elicitation.- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements.- Requirement or not, that is the question: A case from the railway industry 97.- Summarization of Elicitation Conversations to Locate Requirements Relevant Information.- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool.- Requirements classi cation using fastText and BETO in Spanish documents.- RE for Artificial Intelligence.- Exploring Requirements for Software that Learns: A Research Preview.- Requirements Engineering for Automotive Perception Systems: an Interview Study.- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications.- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper.- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle.- Crowd RE.- Automatically Classifying Kano Model Factors in App Reviews.- Data-driven Persona Creation, Validation, and Evolution.- Towards a Cross-Country Analysis of Software-related Tweets.- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview.- RE in Practice.- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors.- Feel It, Code It: Emotional Goal Modelling for Inclusive Design.- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.- Eliciting Security Requirements - an Experience Report.
  18. Artificial intelligence and natural language
    11th Conference, AINL 2022, Saint Petersburg, Russia, April 14-15, 2022 : revised selected papers
    Beteiligt: Malykh, Valentin (HerausgeberIn); Filchenkov, Andrey (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  Springer, Cham

    This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022.The 8 revised full papers and 1 short paper were carefully reviewed and... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1731)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022.The 8 revised full papers and 1 short paper were carefully reviewed and selected from 20 submissions. The volume presents recent research in areas of of text mining, speech technologies, dialogue systems, information retrieval, machine learning, articial intelligence, and robotics

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Malykh, Valentin (HerausgeberIn); Filchenkov, Andrey (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031233715
    Körperschaften/Kongresse: AINL, 11. (2022, Sankt Petersburg)
    Schriftenreihe: Communications in computer and information science ; 1731
    Schlagworte: Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Database Management / General; EDUCATION / Computers & Technology; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: viii, 107 Seiten, Diagramme
    Bemerkung(en):

    Im Vorwort als "10th Conference" gezählt

    Inferring image background from text description.- Topical Extractive Summarization.- The Semantic Shifts of the Topical Structure in the Corpus of Lentach News Posts.- Development of folklore motif classifie using limited data.- Morphological and Emotional Features of the Speech in Children with Typical Development, Autism Spectrum Disorders and Down Syndrome.- WikiMulti: a Corpus for Cross-Lingual Summarization.- Rethinking Crowd Sourcing for Semantic Similarity.- Interplay of Visual and Acoustic Cues of Irony Perception: a Case Study of Actor's Speech.- Findings of Biomedical Russian to English Machine Translation Competition.- Translation of medical texts with ensembling and knowledge distillation.
  19. Chatbot research and design
    6th International Workshop, CONVERSATIONS 2022, Amsterdam, the Netherlands, november 22–23, 2022, revised selected papers
    Beteiligt: Følstad, Asbjørn (HerausgeberIn); Araujo, Theo (HerausgeberIn); Papadopoulos, Symeon (HerausgeberIn); Law, Effie L.-C. (HerausgeberIn); Luger, Ewa (HerausgeberIn); Goodwin, Morten (HerausgeberIn); Brandtzaeg, Petter Bae (HerausgeberIn)
    Erschienen: 2023; [2023]; © 2023
    Verlag:  Springer International Publishing, Cham ; Springer

    This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total... mehr

    Zugang:
    Resolving-System (lizenzpflichtig)

    Standort:
    Hochschule Aalen, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Braunschweig
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    Signatur:
    EBS im Sachsenkonsortium
    Fernleihe:
    keine Fernleihe

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    keine Fernleihe

    Standort:
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    ebook
    Fernleihe:
    keine Fernleihe

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliothek der Hochschule Hannover
    Fernleihe:
    keine Fernleihe
    Standort:
    Bibliothek im Kurt-Schwitters-Forum
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    Signatur:
    e-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliothek LIV HN Sontheim
    Signatur:
    Springer ebook ComputerScience
    Fernleihe:
    keine Fernleihe

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Bibliotheksservice-Zentrum Baden-Württemberg (BSZ)
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule für Technik, Wirtschaft und Kultur Leipzig, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Zentrale Hochschulbibliothek Lübeck
    Fernleihe:
    keine Fernleihe

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Mannheim
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Fernleihe:
    keine Fernleihe

    Standort:
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    Signatur:
    E-Book Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Osnabrück
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschulbibliothek Reutlingen (Lernzentrum)
    Signatur:
    eBook
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Rostock
    Fernleihe:
    keine Fernleihe

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek Stuttgart
    Fernleihe:
    keine Fernleihe

    Standort:
    Universitätsbibliothek der Eberhard Karls Universität
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Technische Hochschule Ulm, Bibliothek
    Signatur:
    eBook Springer
    Fernleihe:
    keine Fernleihe

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Fernleihe:
    keine Fernleihe

    Standort:
    Hochschule Harz, Hauptbibliothek, Standort Wernigerode / Harz
    Fernleihe:
    keine Fernleihe

     

    This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  20. Computational linguistics and intelligent text processing
    Part 1
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13396)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others.The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031237928
    Übergeordneter Titel: Computational linguistics and intelligent text processing - Alle Bände anzeigen
    Körperschaften/Kongresse: International Conference on Computational Linguistics and Intelligent Text Processing, 19. (2018, Hanoi)
    Schriftenreihe: Lecture notes in computer science ; 13396
    Schlagworte: Angewandte Informatik; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; COMPUTERS / Information Technology; COMPUTERS / Information Theory; Coding theory & cryptology; Computational linguistics; Computerlinguistik und Korpuslinguistik; Databases; Datenbanken; Information retrieval; Informationstheorie; Kodierungstheorie und Verschlüsselung (Kryptologie); LANGUAGE ARTS & DISCIPLINES / Linguistics; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: xviii, 431 Seiten, Illustrationen
    Bemerkung(en):

    Author profiling and authorship attribution, social network analysis.- Information retrieval, information extraction.- Lexical resources.- Best Paper Award, Third Place.- Machine translation.- Morphology, Syntax.- Best Paper Award, Second Place.- Semantics and text similarity.- Sentiment analysis.- Syntax and parsing.- Text categorization and clustering.- Best Paper Award, First Place.- Text generation.- Text mining.
  21. Computational linguistics and intelligent text processing
    Part 2
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13397)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    The two-volume set LNCS 13396 and 13397 constitutes revised selected papers from the CICLing 2018 conference which took place in Hanoi, Vietnam, in March 2018.The total of 68 papers presented in the two volumes was carefully reviewed and selected from 181 submissions. The focus of the conference was on following topics such as computational linguistics and intelligent text and speech processing and others.The papers are organized in the following topical sections: General, Author profiling and authorship attribution, social network analysis, Information retrieval, information extraction, Lexical resources, Machine translation, Morphology, syntax, Semantics and text similarity, Sentiment analysis, Syntax and parsing, Text categorization and clustering, Text generation, and Text mining

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031238031
    Übergeordneter Titel: Computational linguistics and intelligent text processing - Alle Bände anzeigen
    Körperschaften/Kongresse: International Conference on Computational Linguistics and Intelligent Text Processing, 19. (2018, Hanoi)
    Schriftenreihe: Lecture notes in computer science ; 133397
    Schlagworte: COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Graphics / General; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; Computational linguistics; Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften; Computerlinguistik und Korpuslinguistik; Databases; Datenbanken; Image processing; LANGUAGE ARTS & DISCIPLINES / Linguistics; Machine learning; Maschinelles Lernen; Maschinelles Sehen, Bildverstehen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Society & social sciences
    Umfang: xviii, 457 Seiten
    Bemerkung(en):

    Author profiling and authorship attribution, social network analysis.- Information retrieval, information extraction.- Lexical resources.- Best Paper Award, Third Place.- Machine translation.- Morphology, Syntax.- Best Paper Award, Second Place.- Semantics and text similarity.- Sentiment analysis.- Syntax and parsing.- Text categorization and clustering.- Best Paper Award, First Place.- Text generation.- Text mining.
  22. Computational linguistics and intelligent text processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, revised selected papers – Part 1
    Beteiligt: Gelbukh, Alexander (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13451)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
  23. Formal methods
    25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings
    Beteiligt: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(1400)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Chechik, Marsha (HerausgeberIn); Katoen, Joost-Pieter (HerausgeberIn); Leucker, Martin (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031274800
    Körperschaften/Kongresse: International Symposium on Formal Methods, 25. (2023, Lübeck)
    Schriftenreihe: Lecture notes in computer science ; 14000
    Schlagworte: 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
    Umfang: xvi, 659 Seiten, Diagramme
    Bemerkung(en):

    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.
  24. Static analysis
    29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, proceedings
    Beteiligt: Singh, Gagandeep (HerausgeberIn); Urban, Caterina (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  Springer, Cham

    This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13790)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Singh, Gagandeep (HerausgeberIn); Urban, Caterina (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031223075
    Körperschaften/Kongresse: SAS, 29. (2022, Auckland)
    Schriftenreihe: Lecture notes in computer science ; 13790
    Schlagworte: 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
    Umfang: x, 473 Seiten
    Bemerkung(en):

    Konferenz fand lt. Vorwort in hybrider Form statt

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

    Invited Talks.- Specification-Guided Reinforcement Learning.- Towards Efficient Reasoning of Quantum Programs.- Regular Papers.- Solving Invariant Generation for Unsolvable Loops.- Principles of Staged Static+Dynamic Partial Analysis.- SecWasm: Information Flow Control for WebAssembly.- Lifting Numeric Relational Domains to Algebraic Data Types.- Automated Synthesis of Asynchronizations.- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go.- Deciding program properties via complete abstractions on boundeddomains.- Invariant Inference With Provable Complexity From the Monotone Theory.- Efficient Modular SMT-Based Model Checking of Pointer Programs.- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation.- Bootstrapping Library-Based Synthesis.- Boosting Robustness Veri cation of Semantic Feature Neighborhoods.- Fast and incremental computation of weak control closure.- Local Completeness Logic on Kleene Algebra with Tests.- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.- Parameterized Recursive Re nement Types for Automated Program Verification.- Adversarial Logic.- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
  25. Formal methods
    foundations and applications, 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings
    Beteiligt: Lima, Lucas (HerausgeberIn); Molnár, Vince (HerausgeberIn)
    Erschienen: [2022]
    Verlag:  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... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13768)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    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 in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lima, Lucas (HerausgeberIn); Molnár, Vince (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031224751
    Körperschaften/Kongresse: SBMF, 25. (2022, Online)
    Schriftenreihe: Lecture notes in computer science ; 13768
    Schlagworte: 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
    Umfang: xiv, 142 Seiten, Diagramme
    Bemerkung(en):

    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.