- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Quantitative monitoring of STL with edit distance ; day:27 ; month:3 ; year:2018 ; pages:1-30
Formal methods in system design ; (27.3.2018), 1-30
- Creator
-
Jakšić, Stefan
- Contributor
-
Bartocci, Ezio
Grosu, Radu
Nguyen, Thang
Ničković, Dejan
SpringerLink (Online service)
- DOI
-
10.1007/s10703-018-0319-x
- URN
-
urn:nbn:de:101:1-2018053104144380060613
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jakšić, Stefan
- Bartocci, Ezio
- Grosu, Radu
- Nguyen, Thang
- Ničković, Dejan
- SpringerLink (Online service)
Other Objects (12)
Redefining the Graph Edit Distance
The Reeb Graph Edit Distance is Universal
Computing graph edit distance on quantum devices
Locality-sensitive bucketing functions for the edit distance
Algorithms for sparse convolution and sublinear edit distance
Embedding edit distance to enable private keyword search
k-Approximate Quasiperiodicity Under Hamming and Edit Distance
Secure approximation of edit distance on genomic data
LSTM Networks for Edit Distance Calculation with Exchangeable Dictionaries
Lossless filter for multiple repeats with bounded edit distance
Syndromic surveillance: STL for modeling, visualizing, and monitoring disease counts
The tree-edit-distance, a measure for quantifying neuronal morphology
Redefining the Graph Edit Distance
The Reeb Graph Edit Distance is Universal
Computing graph edit distance on quantum devices
Locality-sensitive bucketing functions for the edit distance
Algorithms for sparse convolution and sublinear edit distance
Embedding edit distance to enable private keyword search
k-Approximate Quasiperiodicity Under Hamming and Edit Distance
Secure approximation of edit distance on genomic data
LSTM Networks for Edit Distance Calculation with Exchangeable Dictionaries
Lossless filter for multiple repeats with bounded edit distance
Syndromic surveillance: STL for modeling, visualizing, and monitoring disease counts
The tree-edit-distance, a measure for quantifying neuronal morphology
Redefining the Graph Edit Distance
The Reeb Graph Edit Distance is Universal
Computing graph edit distance on quantum devices
Locality-sensitive bucketing functions for the edit distance
Algorithms for sparse convolution and sublinear edit distance
Embedding edit distance to enable private keyword search
k-Approximate Quasiperiodicity Under Hamming and Edit Distance
Secure approximation of edit distance on genomic data
LSTM Networks for Edit Distance Calculation with Exchangeable Dictionaries
Lossless filter for multiple repeats with bounded edit distance
Syndromic surveillance: STL for modeling, visualizing, and monitoring disease counts