Results 21 to 30 of about 75,209 (310)
Error-bounded and Number-bounded Approximate Spatial Query for Interactive Visualization
Open Geosciences, 2018 In the big data era, an enormous amount of spatial and spatiotemporal data are generated every day. However, spatial query result sets that satisfy a query condition are very large, sometimes over hundreds or thousands of terabytes.
Qiu Agen +3 more
doaj +1 more source
Approximation with Error Bounds in Spark [PDF]
2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2019 We introduce a sampling framework to support approximate computing with estimated error bounds in Spark. Our framework allows sampling to be performed at the beginning of a sequence of multiple transformations ending in an aggregation operation. The framework constructs a data provenance tree as the computation proceeds, then combines the tree with ...
Guangyan Hu +3 more
openaire +2 more sources
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas +5 more
core +2 more sources
A case for beta regression in the natural sciences
Ecosphere, 2022 Data in the natural sciences are often in the form of percentages or proportions that are continuous and bounded by 0 and 1. Statistical analysis assuming a normal error structure can produce biased and incorrect estimates when data are doubly bounded ...
Emilie A. Geissinger +4 more
doaj +1 more source
Finite-Time Bounded Tracking Control for a Class of Neutral Systems
Mathematics, 2023 In this paper, we investigate finite-time bounded (FTB) tracking control for a class of neutral systems. Firstly, the dynamic equation of the tracking error signal is given based on the original neutral system.
Jiang Wu, Yujie Xu, Hao Xie, Yao Zou
doaj +1 more source
A U-statistic estimator for the variance of resampling-based error estimators [PDF]
, 2013 We revisit resampling procedures for error estimation in binary classification in terms of U-statistics. In particular, we exploit the fact that the error rate estimator involving all learning-testing splits is a U-statistic.
De Bin, Riccardo +7 more
core +1 more source
International Journal of Applied Mathematics and Computer Science, 2016 This paper presents a new formulation for set-membership parameter estimation of fractional systems. In such a context, the error between the measured data and the output model is supposed to be unknown but bounded with a priori known bounds. The bounded
Amairi Messaoud
doaj +1 more source
Exponential stability analysis of nonlinear systems with bounded gain error
Journal of Inequalities and Applications, 2019 Considering technology limitation or device restriction in practical application, we formulate new nonlinear systems with bounded gain error, which contain switched control and impulsive control.
Xingkai Hu, Linru Nie
doaj +1 more source
Ultimately Exponentially Bounded Estimates for a Class of Nonlinear Discrete−Time Stochastic Systems
Mathematics, 2023 In this paper, the ultimately exponentially bounded estimate problem of nonlinear stochastic discrete−time systems under generalized Lipschitz conditions is considered. A new sufficient condition making the estimation error system uniformly exponentially
Xiufeng Miao, Yaoqun Xu, Fengge Yao
doaj +1 more source
DataSimplifying trajectory data can improve the efficiency of trajectory data analysis and query and reduce the communication cost and computational overhead of trajectory data.
Simin Huang, Zhiying Yang
doaj +1 more source