نتایج جستجو برای: cuts method
تعداد نتایج: 1640190 فیلتر نتایج به سال:
Efficient, automated elimination of cuts is a prerequisite for proof analysis. The method CERES, based on Skolemization and resolution has been successfully developed for classical logic for this purpose. We generalize this method to Gödel logic, an important intermediate logic, which is also one of the main formalizations of fuzzy logic.
RATIONALE AND OBJECTIVES Automatic segmentation of kidneys in ultrasound (US) images remains a challenging task because of high speckle noise, low contrast, and large appearance variations of kidneys in US images. Because texture features may improve the US image segmentation performance, we propose a novel graph cuts method to segment kidney in US images by integrating image intensity informat...
In recent decades, tragacanth gum extraction from Astragalus verus has dramatically increased across Iranian rangelands. However, little information is available about the best method of gum harvest, which is economically efficient and maintains the health of the plant. This research was conducted as a factorial combination and in a completely randomized design, during spring and summer of 2018...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید