Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

دانلود کتاب Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

59000 تومان موجود

کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه ERCIM درباره حل محدودیت و برنامه‌نویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی

دانلود کتاب پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه ERCIM درباره حل محدودیت و برنامه‌نویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 6


توضیحاتی در مورد کتاب Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

نام کتاب : Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : پیشرفت‌های اخیر در محدودیت‌ها: چهاردهمین کارگاه بین‌المللی سالانه ERCIM درباره حل محدودیت و برنامه‌نویسی منطقی محدودیت، CSCLP 2009، بارسلونا، اسپانیا، 15-17 ژوئن، 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6384 Lecture Notes in Artificial Intelligence
نویسندگان : , , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 164
ISBN (شابک) : 3642194850 , 9783642194856
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :




این کتاب مجموعه مقالات پس از داوری کامل چهاردهمین کارگاه بین المللی سالانه ERCIM در زمینه حل محدودیت و برنامه ریزی منطقی محدودیت، CSCLP 2009 است که در بارسلونا، اسپانیا، در ژوئن 2009 برگزار شد. 9 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و بررسی شدند. برای درج در این پس از دادرسی انتخاب شده است. مقالات این جلد نتایج تحقیقاتی اصلی و کاربردهای حل محدودیت و برنامه ریزی منطقی محدودیت را در چندین حوزه ارائه می دهد. از جمله مسائلی که به آنها پرداخته می شود، حل چارچوب های استدلال، سازگاری نرم افزار، زبان های مدل سازی، مسیریابی طراحی ایستا، رضایت از محدودیت پویا، و مدل سازی مبتنی بر محدودیت است.


فهرست مطالب :


Front Matter....Pages -
Solving Weighted Argumentation Frameworks with Soft Constraints....Pages 1-18
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results....Pages 19-37
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming....Pages 38-58
Solving the Static Design Routing and Wavelength Assignment Problem....Pages 59-75
A Resource Cost Aware Cumulative....Pages 76-89
Integrating Strong Local Consistencies into Constraint Solvers....Pages 90-104
Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance....Pages 105-121
Constraint-Based Modeling and Scheduling of Clinical Pathways....Pages 122-138
MAC-DBT Revisited....Pages 139-153
Back Matter....Pages -

توضیحاتی در مورد کتاب به زبان اصلی :


This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.




پست ها تصادفی