دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
دانلود کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی ، CIAA 2011 ، بلویز ، فرانسه ، 13 تا 16 ژوئیه ، 2011. مجموعه مقالات
مشخصات کتاب
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
ویرایش: 1 نویسندگان: Sheng Yu (auth.), Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel (eds.) سری: Lecture Notes in Computer Science 6807 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642222559, 9783642222566 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 309 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی ، CIAA 2011 ، بلویز ، فرانسه ، 13 تا 16 ژوئیه ، 2011. مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها، ساختار داده ها
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی ، CIAA 2011 ، بلویز ، فرانسه ، 13 تا 16 ژوئیه ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی ، CIAA 2011 ، بلویز ، فرانسه ، 13 تا 16 ژوئیه ، 2011. مجموعه مقالات
این کتاب مقالات کاملاً داوری شده شانزدهمین کنفرانس بین المللی
پیاده سازی و کاربرد اتوماتا، CIAA 2011، برگزار شده در بلوآ،
فرانسه، در ژوئیه 2011 است.
20 مقاله کامل اصلاح شده به همراه 4 مقاله کوتاه با دقت مورد
بررسی قرار گرفتند. از بین 38 ارسال انتخاب شده است. این مقالات
موضوعات مختلفی از جمله کاربردهای خودکار در تأیید به کمک
رایانه را پوشش می دهد. پردازش زبان طبیعی؛ تطبیق الگو، ذخیره
سازی و بازیابی داده ها؛ مهندسی اسناد و بیوانفورماتیک و همچنین
کار اساسی بر روی نظریه اتوماتا.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed papers of the
16th International Conference on Implementation and
Application of Automata, CIAA 2011, held in Blois, France, in
July 2011.
The 20 revised full papers together with 4 short papers were
carefully selected from 38 submissions. The papers cover
various topics such as applications of automata in
computer-aided verification; natural language processing;
pattern matching, data storage and retrieval; document
engineering and bioinformatics as well as foundational work
on automata theory.
فهرست مطالب
Front Matter....Pages -
Derick Wood: Always in Our Hearts....Pages 1-2
Streamable Fragments of Forward XPath....Pages 3-15
Gaining Power by Input Operations: Finite Automata and Beyond....Pages 16-29
Weak Inclusion for XML Types....Pages 30-41
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages....Pages 42-52
Bouma2 – A High-Performance Input-Aware Multiple String-Match Algorithm....Pages 53-64
Random Generation of Deterministic Acyclic Automata Using Markov Chains....Pages 65-75
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability....Pages 76-87
Nondeterministic Moore Automata and Brzozowski’s Algorithm....Pages 88-99
Building Phylogeny with Minimal Absent Words....Pages 100-109
On the Hardness of Priority Synthesis....Pages 110-117
Smaller Representation of Finite State Automata....Pages 118-129
Compositional Failure Detection in Structured Transition Systems....Pages 130-141
Chrobak Normal Form Revisited, with Applications....Pages 142-153
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule....Pages 154-165
Loops and Overloops for Tree Walking Automata....Pages 166-177
Nondeterministic State Complexity of Star-Free Languages....Pages 178-189
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs....Pages 190-202
Computing All ℓ-Cover Automata Fast....Pages 203-214
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines....Pages 215-224
Towards More Expressive 2D Deterministic Automata....Pages 225-237
Complexity of Problems Concerning Reset Words for Cyclic and Eulerian Automata....Pages 238-249
Distributed Event Clock Automata....Pages 250-263
Fly-Automata, Their Properties and Applications....Pages 264-272
Tree Template Matching in Ranked Ordered Trees by Pushdown Automata....Pages 273-281
Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach....Pages 282-289
Experimental Study of the Shortest Reset Word of Random Automata....Pages 290-298
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Skills for social progress : the power of social and emotional skills.
دانلود کتاب Scarred Lands Gazetteer: Termana (Sword & Sorcery)
دانلود کتاب 15 Minute Vegan Comfort Food
