Parameterized Dynamic Tables
نویسنده
چکیده
We analyze the amortized complexity of dynamic tables with arbitrary minimal and maximal load factors and arbitrary expansion and contraction factors.
منابع مشابه
ADAPTIVE FUZZY TRACKING CONTROL FOR A CLASS OF PERTURBED NONLINEARLY PARAMETERIZED SYSTEMS USING MINIMAL LEARNING PARAMETERS ALGORITHM
In this paper, an adaptive fuzzy tracking control approach is proposed for a class of single-inputsingle-output (SISO) nonlinear systems in which the unknown continuous functions may be nonlinearlyparameterized. During the controller design procedure, the fuzzy logic systems (FLS) in Mamdani type are applied to approximate the unknown continuous functions, and then, based on the minimal learnin...
متن کاملDynamic Tables
This article formalizes the amortized analysis of dynamic tables parameterized with their minimal and maximal load factors and the expansion and contraction factors. A full description is found in a companion paper [1]. theory Tables-real imports ../Amortized-Complexity/Amor begin fun Ψ :: bool ⇒ real ⇒ real ⇒ real ⇒ real ⇒ nat ⇒ real where Ψ b i d x 1 x 2 n = (if n ≥ x 2 then i∗(n − x 2) else ...
متن کاملASP for Anytime Dynamic Programming on Tree Decompositions
Answer Set Programming (ASP) has recently been employed to specify and run dynamic programming (DP) algorithms on tree decompositions, a central approach in the field of parameterized complexity, which aims at solving hard problems efficiently for instances of certain structure. This ASPbased method followed the standard DP approach where tables are computed in a bottom-up fashion, yielding goo...
متن کاملAnalysis of Dynamic Longitudinal Categorical Data in Incomplete Contingency Tables Using Capture-Recapture Sampling: A case Study of Semi-Concentrated Doctoral Exam
Abstract. In this paper, dynamic longitudinal categorical data and estimation of their parameters in incomplete contingency tables are evaluated. To apply the proposed method, a study has been conducted on the data of the semi-concentrated doctoral exam of the National Organization for Educational Testing (NOET). The results of studies such as the obtained confidence intervals and calculating t...
متن کاملParameterized Optimal Trajectory Generation for Target Localization
This paper presents an approach to near-optimal target localization for small and micro uninhabited aerial vehicles using a family of pre-computed parameterized trajectories. These trajectories are pre-computed for a set of nominal target locations uniformly distributed over the sensor field of view and stored off-line. Upon target detection the vehicle chooses the trajectory corresponding to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Archive of Formal Proofs
دوره 2015 شماره
صفحات -
تاریخ انتشار 2015