خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
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]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)