دانلود کتاب Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings (به فارسی: چکیده، فرمول بندی و تقریب: ششمین سمپوزیوم بین المللی، SARA 2005، قلعه ایرث، اسکاتلند، انگلستان، 26-29 ژوئیه، 2005. مجموعه مقالات) نوشته شده توسط «Scot Anderson – Peter Revesz (auth.) – Jean-Daniel Zucker – Lorenza Saitta (eds.)»
اطلاعات کتاب چکیده، فرمول بندی و تقریب: ششمین سمپوزیوم بین المللی، SARA 2005، قلعه ایرث، اسکاتلند، انگلستان، 26-29 ژوئیه، 2005. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Scot Anderson – Peter Revesz (auth.) – Jean-Daniel Zucker – Lorenza Saitta (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 380
حجم کتاب: 5 مگابایت
کد کتاب: 3540278729 , 9783540278726
نوبت چاپ: 1
توضیحات کتاب چکیده، فرمول بندی و تقریب: ششمین سمپوزیوم بین المللی، SARA 2005، قلعه ایرث، اسکاتلند، انگلستان، 26-29 ژوئیه، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی در مورد انتزاع، اصلاح فرمول‌بندی و تقریب، SARA 2005 است که در ژوئیه 2005 در قلعه ایرث، اسکاتلند، انگلستان برگزار شد.
17 مقاله کامل اصلاح‌شده و 8 چکیده مبسوط به دقت بررسی و برای درج در کتاب انتخاب شدند. همچنین شامل 3 مقاله دعوت شده و 8 خلاصه تحقیق است. تمام جنبه‌های فعلی انتزاع، فرمول‌بندی مجدد و تقریب در زمینه استدلال عقل سلیم انسانی، حل مسئله و استدلال کارآمد در حوزه‌های پیچیده مورد بررسی قرار می‌گیرد. از جمله زمینه های کاربردی این تکنیک ها می توان به برنامه نویسی خودکار، رضایت محدودیت ها، طراحی، تشخیص، یادگیری ماشین، جستجو، برنامه ریزی، استدلال، بازی، زمان بندی و اثبات قضیه اشاره کرد.
This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005.
The 17 revised full papers and 8 extended abstracts were carefully reviewed and selected for inclusion in the book. Also included are 3 invited papers and 8 research summaries. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.