دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Over-Constrained Systems
دانلود کتاب سیستم های بیش از حد محدود
مشخصات کتاب
Over-Constrained Systems
ویرایش: 1 نویسندگان: Michael Jampel (auth.), Michael Jampel, Eugene Freuder, Michael Maher (eds.) سری: Lecture Notes in Computer Science 1106 ISBN (شابک) : 3540614796, 9783540614791 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 316 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب سیستم های بیش از حد محدود: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Over-Constrained Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های بیش از حد محدود نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های بیش از حد محدود
این جلد مجموعه‌ای از مقالات داوری را ارائه می‌کند که
منعکس‌کننده وضعیت هنر در زمینه سیستم‌های بیش از حد محدود
است.
علاوه بر 11 مقاله کامل اصلاح‌شده، انتخاب شده از 24 مقاله
ارسالی به کارگاه OCS که در ارتباط با اولین کارگاه برگزار شد.
کنفرانس بین‌المللی اصول و تمرین برنامه‌نویسی محدودیت، CP '95،
که در سپتامبر 1995 در مارسی برگزار شد، این کتاب شامل سه مقاله
پیش‌زمینه جامع از اهمیت محوری برای مقالات کارگاهی و کل حوزه
است. همچنین مقدمه‌ای از یکی از ویراستاران جلد همراه با فهرستی
از 243 مدخل موجود است. در مجموع این یک کتاب مرجع بسیار مفید
است که برای همه محققان و متخصصان علاقه مند به سیستم های سلسله
مراتبی، جزئی و بیش از حد محدود مرتبط است.
توضیحاتی درمورد کتاب به خارجی
This volume presents a collection of refereed papers
reflecting the state of the art in the area of
over-constrained systems.
Besides 11 revised full papers, selected from the 24
submissions to the OCS workshop held in conjunction with the
First International Conference on Principles and Practice of
Constraint Programming, CP '95, held in Marseilles in
September 1995, the book includes three comprehensive
background papers of central importance for the workshop
papers and the whole field. Also included is an introduction
by one of the volume editors together with a bibliography
listing 243 entries. All in all this is a very useful
reference book relevant for all researchers and practitioners
interested in hierarchical, partial, and over-constrained
systems.
فهرست مطالب
A brief overview of over-constrained systems....Pages 1-22
Constraint hierarchies....Pages 23-62
Partial constraint satisfaction....Pages 63-110
Semiring-based CSPs and valued CSPs: Basic properties and comparison....Pages 111-150
Defeasible constraint solving....Pages 151-170
Transforming ordered constraint hierarchies into ordinary constraint systems....Pages 171-187
A compositional theory of constraint hierarchies (Operational semantics)....Pages 189-206
Heuristic methods for over-constrained constraint satisfaction problems....Pages 207-216
Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem....Pages 217-227
Partial arc consistency....Pages 229-236
Dynamic constraint satisfaction with conflict management in design....Pages 237-251
Specifying over-constrained problems in default logic....Pages 253-264
Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems....Pages 265-280
Experiences in solving constraint relaxation networks with Boltzmann Machines....Pages 281-292
Solving over-constrained CSP using weighted OBDDs....Pages 293-308
