Descriptional Complexity of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings, Jirбskovб Galina, Pighizzini Giovanni
Автор: Helmut J?rgensen; Juhani Karhum?ki; Alexander Okho Название: Descriptional Complexity of Formal Systems ISBN: 3319097032 ISBN-13(EAN): 9783319097039 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);
Автор: C?mpeanu Название: Descriptional Complexity of Formal Systems ISBN: 3319411136 ISBN-13(EAN): 9783319411132 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.
Автор: Konstantinidis Название: Descriptional Complexity of Formal Systems ISBN: 3319946307 ISBN-13(EAN): 9783319946306 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018.
Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Lightweight CNN for Robust Voice Activity Detection.- Hate Speech Detection Using Transformer Ensembles on the HASOC Dataset.- MP3 Compression to Diminish Adversarial Noise in End-to-End Speech Recognition.- Exploration of End-to-End ASR for OpenSTT - Russian Open Speech-to-Text Dataset.- Directional Clustering with Polyharmonic Phase Estimation for Enhanced Speaker Localization.- Speech Emotion Recognition using Spectrogram Patterns as Features.- Pragmatic Markers in Dialogue and Monologue: Difficulties of Identification and Typical Formation Models.- Data Augmentation and Loss Normalization for Deep Noise Suppression.- Automatic Information Extraction from Scanned Documents.- Dealing with Newly Emerging OOVs in Broadcast Programs by Daily Updates of the Lexicon and Language Model.- A Rumor Detection in Russian Tweets.- Automatic Prediction of Word form Reduction in Russian Spontaneous Speech.- Formant Frequency Analysis of MSA Vowels in Six Algerian Regions.- Emotion Recognition and Sentiment Analysis of Extemporaneous Speech Transcriptions in Russian.- Predicting a Cold from Speech using Fisher Vectors; SVM and XGBoost as Classifiers.- Toxicity in Texts and Images on the Internet.- An Automated Pipeline for Robust Image Processing and Optical Character Recognition of Historical Documents.- Lipreading with LipsID.- Automated Destructive Behavior State Detection on the 1D CNN-based Voice Analysis.- Rhythmic Structures of Russian Prose and Occasional Iambs (a Diachronic Case Study) .- Automatic Detection of Backchannels in Russian Dialogue Speech.- Experimenting with Attention Mechanisms in Joint CTC-Attention Models for Russian Speech Recognition.- Comparison of Deep Learning Methods for Spoken Language Identification.- Conceptual Operations with Semantics for a Companion Robot.- Legal Tech: Documents' Validation Method Based on the Associative-Ontological Approach.- Audio Adversarial Examples for Robust Hybrid CTC/Attention Speech Recognition.- CTC-Segmentation of Large Corpora for German End-to-End Speech Recognition.- Stylometrics Features under Domain Shift: Do they Really "Context-independent".- Speech Features of 13-15 Year-old Children with Autism Spectrum Disorders.- Multi-corpus Experiment on Continuous Speech Emotion Recognition: Convolution or Recurrence.- Detection of Toxic Language in Short Text Messages.- Transfer Learning in Speaker's Age and Gender Recognition.- Interactivity-based Quality Prediction of Conversations with Transmission Delay.- Graphic Markers of Irony and Sarcasm in Written Texts.- Digital Rhetoric 2.0: How to Train Charismatic Speaking with Speech-melody Visualization Software.- Generating a Concept Relation Network for Turkish Based on ConceptNet Using Translational Methods.- Bulgarian Associative Dictionaries in the LABLASS Web-based System.- Preliminary Investigation of Potential Steganographic Container Localization.- Some Comparative Cognitive and Neurophysiological Reactions to Code-modified Internet Information.- The Influence of Multimodal Polycode Internet Content on Human Brain Activity.- Synthetic Speech Evaluation by Differential Maps in Pleasure-Arousal Space.- Investigating the Effect of Emoji in Opinion Classification of Uzbek Movie Review Comments.- Evaluation of Voice Mimicking using i-vector Framework.- Score Normalization of x-vector Speaker Verification System for Short-duration Speaker Verification Challenge.- Genuine Spontaneous vs Fake Spontaneous Speech: in Search of Distinction.- Mixing Synthetic and Recorded Signals for Audio-book Generation.- Temporal Concord in Speech Interaction: Overlaps and Interruptions in Spoken American English.- Cognitively Challenging: Language Shift and Speech Rate of Academic Bilinguals.- Toward Explainable Automatic Classification of Children's Speech Disorders.- Recognition Performance of Selected Speech Recognition APIs - A Longitudinal Study.- Does A Priori Phonological Knowledge Improve Cross-Lingual Robust
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019.
The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
Автор: Jeffrey Shallit; Alexander Okhotin Название: Descriptional Complexity of Formal Systems ISBN: 3319192248 ISBN-13(EAN): 9783319192246 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware.
Автор: Giovanni Pighizzini; Cezar C?mpeanu Название: Descriptional Complexity of Formal Systems ISBN: 3319602519 ISBN-13(EAN): 9783319602516 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
Автор: J?rgensen; Rog?rio Reis Название: Descriptional Complexity of Formal Systems ISBN: 3642393098 ISBN-13(EAN): 9783642393099 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. size complexity and structural complexity of formal systems; size or structural complexity of formal systems for modeling natural languages;
Описание: This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions.
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru