# linear time

### The quantitative linear-time–branching-time spectrum

**linear**

**time**, branching

**time**1. Introduction For rigorous design and veriﬁcation of embedded systems, both qualitative and ...

28

### Linear-time CUR approximation of BEM matrices

**linear**-

**time**CUR algorithms for admissible blocks of a hierarchical matrix coming from the discretization of a BEM problem. ...

33

### Equivalence of linear time-delay systems

**linear**

**time**-delay sys- tems has been given. We claim that the necessary and sufficient condi- tions proposed in this paper are easy to test for ...

6

### Automata and temporal logic over arbitrary linear time

**time**model, a number of extensions of the logic and the automata model have been ...of

**time**: general

**linear**

**time**could be useful in different settings, including concurrency, asynchronous ...

14

### A Better Alternative to Piecewise Linear Time Series Segmentation

**time**series into few intervals having uniform characteristics (flatness, linearity, modality, mono- tonicity and so ...fast

**linear**

**time**algorithms. The popular piecewise

**linear**model ...

12

### Splitting a Delaunay Triangulation in Linear Time

16

### Better approximations for Tree Sparsity in Nearly-Linear Time

25

### An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation

**linear**

**time**algorithm based on novel ...in

**time**O(n log n) consisting of a labeling of all extrema, we compute any optimal segmentation in constant ...piecewise

**linear**segmentation ...

18

### A Linear Time Algorithm Computing the Optimal Speeds Minimizing Energy Under Real-Time Constraints

**time**, size, and deadline (all ...a

**linear**

**time**algorithm that checks the schedulability of the given set of n jobs and computes an optimal speed ...The

**time**complexity of our algorithm ...

27

### Definability by Horn formulas and linear time on cellular automata

15

### Approximate congruence in nearly linear time

**linear**

**time**approximation schemes for minimising this distance between two point sets in the plane under isometries; we note here that the best known algorithms for congruence under the bottleneck ...

15

### Linear Time Split Decomposition Revisited

**linear**

**time**by ...a

**linear**

**time**algorithm to test the consecutive ones property of ...simple

**linear**

**time**split (or 1-join) decomposition of undirected ...

17

### The quantitative linear-time–branching-time spectrum

17

### An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation

**linear**

**time**algorithm based on novel formalism, and compare experi- mentally its performance to a

**linear**

**time**top-down regression ...

4

### Optimal Blurred Segments Decomposition in Linear Time

20

### Linear-time modular decomposition of directed graphs

19

### Subspace Instability Monitoring for Linear Periodically Time-Varying Systems

**Time**-varying systems, Periodic motion, Resonance, Subspace methods, Statistical inference, Fault detection, Stability limits ...a

**linear**

**time**-invariant (LTI) ...

8

### Subspace Instability Monitoring for Linear Periodically Time-Varying Systems

**linear**

**time**-invariant (LTI) systems. In this paper, a new subspace method of instability monitoring is proposed ...

7

### Self-triggered stabilizing controllers for linear continuous-time systems

15

### Subspace Identification for Linear Periodically Time-varying Systems

**linear**

**time**-invariant (LTI) ...on

**linear**

**time**-varying (LTV) case is not ...exhibit

**time**varying behaviors, mainly due to internal (fa- ...the

**linear**pe- riodically

**time**...

7