نتایج جستجو برای: algorithm f5 invariant

تعداد نتایج: 822274  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1391

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...

2006
Tomás Pevný Jessica J. Fridrich

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...

Journal: :IEEE Trans. Pattern Anal. Mach. Intell. 2003
Brendan J. Frey Nebojsa Jojic

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...

2000
Chi-Jer Yu Jong-Eao Lee

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.

2001
Jianguang Lou Hao Yang Weiming Hu Tieniu Tan

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...

2006
Mallikarjuna Rao Vijaya Kumari

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...

2005
S. G. Dani Arnaldo Nogueira

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهرکرد - دانشکده کشاورزی 1392

امروزه استفاده از لجن فاضلاب به عنوان یکی از کودهای آلی در زمین های کشاورزی در سرتاسر جهان در حال افزایش است. کاربرد لجن فاضلاب از نظر تغدیه گیاه مهم است ولی این نیازمند بررسی دقیق قابلیت استفاده و جزءبندی فلزات سنگین در خاک های تیمار شده با لجن فاضلاب است. هدف این پژوهش مطالعه تأثیر لجن فاضلاب بر قابلیت استفاده و جزء بندی فلزات سنگین (روی، مس، سرب و کادمیم) در 5 خاک آهکی استان چهار محال و بختی...

2007
Mikoláš Janota

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...

Journal: :iranian journal of science and technology (sciences) 2008
b. bidabad

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.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید