Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Descriptional Complexity of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings, Jirбskovб Galina, Pighizzini Giovanni


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Jirбskovб Galina, Pighizzini Giovanni
Название:  Descriptional Complexity of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings
ISBN: 9783030625351
Издательство: Springer
Классификация:


ISBN-10: 3030625354
Обложка/Формат: Paperback
Страницы: 245
Вес: 0.36 кг.
Дата издания: 23.12.2020
Язык: English
Размер: 23.39 x 15.60 x 1.37 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: Mutually Accepting Capacitated Automata.- Bad pictures: some structural properties related to overlaps.- Regular Expression Length via Arithmetic Formula Complexity.- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable.- On the Power of Generalized Forbidding Insertion-Deletion Systems.- State Complexity Bounds for the Commutative Closure of Group Languages.- Multiple Concatenation and State Complexity (Extended Abstract).- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata.- Longer shortest strings in two-way finite automata.- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.- Descriptional Complexity of Winning Sets of Regular Languages.- State complexity of GF(2)-inverse and GF(2)-star on binary languages.- Complexity of Two-dimensional Rank-reducing Grammars.- Palindromic Length of Words with Many Periodic Palindromes.- Operational Complexity of Straight Line Programs for Regular Languages.- Classifying ω-Regular Aperiodic k-Partitions.- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata.- On the Generative Power of Quasiperiods.- Insertion-Deletion Systems With Substitutions II.


Descriptional Complexity of Formal Systems

Автор: 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);

Descriptional Complexity of Formal Systems

Автор: 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.

Descriptional Complexity of Formal Systems

Автор: 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.

Big Data Analytics and Knowledge Discovery: 22nd International Conference, Dawak 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings

Автор: Song Min, Song Il-Yeol, Kotsis Gabriele
Название: Big Data Analytics and Knowledge Discovery: 22nd International Conference, Dawak 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings
ISBN: 303059064X ISBN-13(EAN): 9783030590642
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Big data.- Knowledge Discovery.- Query Languages.- Artificial Intelligent.-Machine Learning.- Data Warehousing.- Distributed System.- Visualization.- Data Management.- Multimedia Data.

Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I
ISBN: 3030606996 ISBN-13(EAN): 9783030606992
Издательство: Springer
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Speech and Computer: 22nd International Conference, Specom 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings

Автор: Karpov Alexey, Potapova Rodmonga
Название: Speech and Computer: 22nd International Conference, Specom 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings
ISBN: 3030602753 ISBN-13(EAN): 9783030602758
Издательство: Springer
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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

Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference, Dcfs 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings

Автор: Hospodar Michal, Jiraskova Galina, Konstantinidis Stavros
Название: Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference, Dcfs 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings
ISBN: 3030232468 ISBN-13(EAN): 9783030232467
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Descriptional Complexity of Formal Systems

Автор: 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.

Descriptional Complexity of Formal Systems

Автор: 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.

Descriptional Complexity of Formal Systems

Автор: 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;

Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Автор: Gribaudo Marco, Jansen David N., Remke Anne
Название: Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
ISBN: 3030598535 ISBN-13(EAN): 9783030598532
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Автор: Ter Beek Maurice H., Ničkovic Dejan
Название: Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
ISBN: 3030582973 ISBN-13(EAN): 9783030582975
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
   В Контакте     В Контакте Мед  Мобильная версия