Results 21 to 30 of about 557,766 (311)
Cache-Based Privacy Protection Scheme for Continuous Location Query
Users who initiate continuous location queries are prone to trajectory information leakage, and the obtained query information is not effectively utilized.
Zhenpeng Liu +4 more
doaj +1 more source
Dynamic order Markov model for categorical sequence clustering
Markov models are extensively used for categorical sequence clustering and classification due to their inherent ability to capture complex chronological dependencies hidden in sequential data.
Rongbo Chen +4 more
doaj +1 more source
Objective This study described the epidemic characteristics of varicella in Dalian from 2009 to 2019, explored the fitting effect of Grey model first-order one variable( GM(1,1)), Markov model, and GM(1,1)-Markov model on varicella data, and found the ...
Tingting Cheng +5 more
doaj +1 more source
Simulating the spatiotemporal changes of forest extent for the Chehelchay watershed (Golestan province), using integrated CA-Markov model [PDF]
The importance of land-use/ land-cover (LULC) as a dynamic factor and effective on environmental conditions, makes it necessary to get precise quantitative and qualitative information from it and to identify its changes through short time periods ...
Arash Zare Garizi +3 more
doaj +1 more source
On Exact Sampling in the Two-Variable Fragment of First-Order Logic [PDF]
In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al.—how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the universally-quantified subfragment of
Yuanhong Wang +3 more
semanticscholar +1 more source
The Variable Markov Oracle: Algorithms for Human Gesture Applications [PDF]
This article introduces the Variable Markov Oracle (VMO) data structure for multivariate time series indexing. VMO can identify repetitive fragments and find sequential similarities between observations.
Dubnov, Shlomo, Wang, Cheng-i
core +1 more source
Two Variable vs. Linear Temporal Logic in Model Checking and Games [PDF]
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL)
Michael Benedikt +2 more
doaj +1 more source
Robust Attitude Control of an Agile Aircraft Using Improved Q-Learning
Attitude control of a novel regional truss-braced wing (TBW) aircraft with low stability characteristics is addressed in this paper using Reinforcement Learning (RL).
Mohsen Zahmatkesh +3 more
doaj +1 more source
Exact Bayesian curve fitting and signal segmentation. [PDF]
We consider regression models where the underlying functional relationship between the response and the explanatory variable is modeled as independent linear regressions on disjoint segments.
B. Freedman +31 more
core +2 more sources

