Similar Items: AQEval: R code for the analysis of discrete change in air quality time-series
- Axiomatizing Maximal Progress and Discrete Time
- Verification for Timed Automata extended with Unbounded Discrete Data Structures
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Adaptive Segmentation of IIoT Time Series Data via Change Point Detection for Machinery Fault Classification
- Sparseness-Optimized Feature Importance for Time Series Classification
- On Global and Local Convergence of Iterative Linear Quadratic Optimization Algorithms for Discrete Time Nonlinear Control