دانلود کتاب Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی، CIAA 2011، بلویس، فرانسه، 13-16 جولای، 2011. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی، CIAA 2011، بلویس، فرانسه، 13-16 جولای، 2011. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
نام کتاب : Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : پیاده سازی و کاربرد Automata: شانزدهمین کنفرانس بین المللی، CIAA 2011، بلویس، فرانسه، 13-16 جولای، 2011. مجموعه مقالات
سری : Lecture Notes in Computer Science 6807 Theoretical Computer Science and General Issues
نویسندگان : Sheng Yu (auth.), Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 309
ISBN (شابک) : 9783642222559 , 9783642222566
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مقالات کاملاً داوری شده شانزدهمین کنفرانس بین المللی پیاده سازی و کاربرد اتوماتا، CIAA 2011، برگزار شده در بلوآ، فرانسه، در ژوئیه 2011 است.
20 مقاله کامل اصلاح شده به همراه 4 مقاله کوتاه با دقت مورد بررسی قرار گرفتند. از بین 38 ارسال انتخاب شده است. این مقالات موضوعات مختلفی از جمله کاربردهای خودکار در تأیید به کمک رایانه را پوشش می دهد. پردازش زبان طبیعی؛ تطبیق الگو، ذخیره سازی و بازیابی داده ها؛ مهندسی اسناد و بیوانفورماتیک و همچنین کار اساسی بر روی نظریه اتوماتا.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی