ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

دانلود کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

مشخصات کتاب

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 2627 Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 9783540009863, 3540009868 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 209 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 31,000



کلمات کلیدی مربوط به کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده: هوش مصنوعی (شامل رباتیک)، تکنیک‌های برنامه‌نویسی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 20


در صورت تبدیل فایل کتاب Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده



این کتاب مجموعه مقالات پس از داوری کامل کارگاه بین المللی مشترک ERCIM/CologNet در مورد حل محدودیت و برنامه ریزی منطقی محدودیت است که در کورک، ایرلند در ژوئن 2002 برگزار شد.

14 مقاله کامل اصلاح شده ارائه شده است. طی دو دور بررسی و بازنگری به دقت برای گنجاندن در کتاب انتخاب شدند. از جمله موضوعات مورد بررسی عبارتند از تأیید و اشکال‌زدایی برنامه‌های منطق محدودیت، مدل‌سازی و حل CSP، تولید توضیح، استنتاج و پردازش ناسازگاری، رمزگذاری‌های SAT و 0/1 CSPها، محدودیت‌های نرم و کاهش محدودیت، برنامه‌های کاربردی در دنیای واقعی، و حل محدودیت‌های توزیع‌شده. .


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.

The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.



فهرست مطالب

Abstract Verification and Debugging of Constraint Logic Programs....Pages 1-14
CGRASS: A System for Transforming Constraint Satisfaction Problems....Pages 15-30
Interchangeability in Soft CSPs....Pages 31-46
Towards Automated Reasoning on the Properties of Numerical Constraints....Pages 47-61
Domain-Heuristics for Arc-Consistency Algorithms....Pages 62-75
Computing Explanations and Implications in Preference-Based Configurators....Pages 76-92
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems....Pages 93-108
A Note on Redundant Rules in Rule-Based Constraint Programming....Pages 109-120
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables....Pages 121-131
A Local Search Algorithm for Balanced Incomplete Block Designs....Pages 132-143
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms....Pages 144-158
POOC — A Platform for Object-Oriented Constraint Programming....Pages 159-170
A Coordination-Based Framework for Distributed Constraint Solving....Pages 171-184
Visopt ShopFloor: Going Beyond Traditional Scheduling....Pages 185-199




نظرات کاربران