نتایج جستجو برای: algorithm f5 invariant
تعداد نتایج: 822274 فیلتر نتایج به سال:
abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...
In this paper, we construct blind steganalyzers for JPEG images capable of assigning stego images to known steganographic programs. Each JPEG image is characterized using 23 calibrated features calculated from the luminance component of the JPEG file. Most of these features are calculated directly from the quantized DCT coefficients as their first order and higher-order statistics. The features...
Clustering is a simple, effective way to derive useful representations of data, such as images and videos. Clustering explains the input as one of several prototypes, plus noise. In situations where each input has been randomly transformed (e.g., by translation, rotation, and shearing in images and videos), clustering techniques tend to extract cluster centers that account for variations in the...
We develop an algorithm to identify invariant curves efficiently. In dynamical systems, it helps do continuations of branches of quasi-periodic solutions smoothly in bifurcation diagrams. Several examples are demonstrated to provide the numerical evidence for the versatility of the algorithm. © 2001 Elsevier Science B.V. All rights reserved.
In this paper, a homomorphic filtering based change detection algorithm is proposed to detect moving objects from light-varing monocular image sequences. In our approach, a background model is first constructed, and background subtraction is applied to classify image pixels into background or foreground. We utilize illumination invariant local components to model the background, which are obtai...
Researches are keen to know astonishing and intricate details of the nature. Each creature has its own admiring abilities and performs their routine task in more efficient manner. The bug navigation system has drawn keen attention among research community to know how they are able to perform their routine task in utmost skillful manner. The lizard is capable of identifying slowly varying featur...
We study the ergodic properties of the additive Euclidean algorithm f defined in R+. A natural extension of f is obtained using the action of SL(2,Z) on a subset of SL(2,R). We prove that even though f is ergodic and has an infinite invariant measure equivalent to the Lebesgue measure, such a measure is not unique; (in fact there is a continuous family of such measures). While it is folklore th...
امروزه استفاده از لجن فاضلاب به عنوان یکی از کودهای آلی در زمین های کشاورزی در سرتاسر جهان در حال افزایش است. کاربرد لجن فاضلاب از نظر تغدیه گیاه مهم است ولی این نیازمند بررسی دقیق قابلیت استفاده و جزءبندی فلزات سنگین در خاک های تیمار شده با لجن فاضلاب است. هدف این پژوهش مطالعه تأثیر لجن فاضلاب بر قابلیت استفاده و جزء بندی فلزات سنگین (روی، مس، سرب و کادمیم) در 5 خاک آهکی استان چهار محال و بختی...
Many automated techniques for invariant generation are based on the idea that the invariant should show that something “bad” will not happen in the analyzed program. In this article we present an algorithm for loop invariant generation in programs with assertions using a weakest precondition calculus. We have realized the algorithm in the extended static checker ESC/Java2. Challenges stemming f...
here, the concept of electric capacity on finsler spaces is introduced and the fundamentalconformal invariant property is proved, i.e. the capacity of a compact set on a connected non-compact finslermanifold is conformal invariant. this work enables mathematicians and theoretical physicists to become morefamiliar with the global finsler geometry and one of its new applications.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید