دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraint Processing: Selected Papers
دانلود کتاب پردازش محدودیت: مقالات انتخاب شده
مشخصات کتاب
Constraint Processing: Selected Papers
ویرایش: [1 ed.] نویسندگان: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.) سری: Lecture Notes in Computer Science 923 ISBN (شابک) : 3540594795, 0387594795 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 296 [281] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Constraint Processing: Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پردازش محدودیت: مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پردازش محدودیت: مقالات انتخاب شده
این جلد شامل 15 مقاله تحقیقاتی کامل با داوری شده است که از
ارائه های ارائه شده در طی دو کارگاه در مورد پردازش محدودیت
انتخاب شده است. این کارگاه ها همراه با کنگره بین المللی سیستم
های کامپیوتری و ریاضیات کاربردی (سن پترزبورگ، روسیه، ژوئیه
1993) و کنفرانس اروپایی هوش مصنوعی (آمستردام، هلند، آگوست
1994) برگزار شد.
این جلد اساساً به این موضوع کمک می کند. برای ادغام رویکردهای
مختلف در زمینه جوان و بسیار فعال پردازش محدودیت ها با ارائه
مقالاتی از برنامه نویسی منطقی، بازنمایی دانش، سیستم های خبره،
علوم کامپیوتر نظری، تحقیقات عملیاتی و سایر زمینه ها. در میان
مشارکت‌ها، دو نظرسنجی وجود دارد، توسط پودلسکی و ون روی و توسط
فرودر.
توضیحاتی درمورد کتاب به خارجی
This volume contains 15 thoroughly refereed full research
papers selected from the presentations given during two
workshops on constraint processing; these workshops were held
in conjunction with the International Congress on Computer
Systems and Applied Mathematics (St. Petersburg, Russia, July
1993) and the European Conference on Artificial Intelligence
(Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the
different approaches to the young and very active field of
constraint processing by offering papers from logic
programming, knowledge representation, expert systems,
theoretical computer science, operations research, and other
fields. Among contributions are two surveys, by Podelski and
van Roy and by Freuder.
فهرست مطالب
A detailed algorithm testing guards over feature trees....Pages 11-38
A generalized semantics for concurrent constraint languages and their abstract interpretation....Pages 39-49
High-level constraints over finite domains....Pages 51-66
Integrating constraints in an object-based knowledge representation system....Pages 67-83
A CLP approach for examination planning....Pages 85-101
The many paths to satisfaction....Pages 103-119
Directed arc consistency preprocessing....Pages 121-137
In search of exceptionally difficult constraint satisfaction problems....Pages 139-155
Using bidirectionality to speed up arc-consistency processing....Pages 157-169
Using metalevel constraint knowledge to reduce constraint checking....Pages 171-184
Forward checking with backmarking....Pages 185-204
Redundant hidden variables in finite domain constraint problems....Pages 205-223
Semantic properties of CHIP(FD)....Pages 225-245
Combining hill climbing and forward checking for handling disjunctive constraints....Pages 247-265
GA-easy and GA-hard constraint satisfaction problems....Pages 267-283
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Complete Course in Canning and Related Processes, Fourteenth Edition: Volume 3 Processing Procedures for Canned Food Products
دانلود کتاب Bony und die Maus
دانلود کتاب To the Distant Observer: Form and Meaning in Japanese Cinema
دانلود کتاب Measurements Corp Model 59 Megacycle Meter
