This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
دانشگاه آزاد اسلامی اصفهان(خوراسگان)
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Efficient Inference: A Machine Learning Approach
"
Document Type
:
Latin Dissertation
Language of Document
:
English
Record Number
:
150163
Doc. No
:
ET21955
Main Entry
:
Yongshao Ruan
Title Proper
:
Efficient Inference: A Machine Learning Approach
Note
:
This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract
:
Algorithms for determining whether a formula in propositional logic is satisfiable arebeing used in an increasing number of applications in hardware verification, softwaretesting, planning, and scheduling. Because all known approaches to satisfiabilitytesting require exponential time in the worst case, creating practical algorithms is bothan art and a science, where the designer "tweaks" various heuristics until acceptableperformance is obtained on a particular set of problems.My thesis develops a general framework for automatically optimizing the perfor-mance of a satisfiability algorithm (or any similar intractable search algorithm) using.,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject
:
Electericl tess
:
برق
electronic file name
:
TL45150.pdf
Title and statement of responsibility and
:
Efficient Inference: A Machine Learning Approach [Thesis]
http://localhost/site/catalogue/150163
آدرس ثابت
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TL45150.pdf
TL45150.pdf
پایان نامه لاتین
متن
application/octet-stream
4.69 MB
85
85
نمایش
نظرسنجی