- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Jakšić, Stefan
- Beteiligte Personen und Organisationen
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Jakšić, Stefan
- Bartocci, Ezio
- Grosu, Radu
- Nguyen, Thang
- Ničković, Dejan
- SpringerLink (Online service)
Ähnliche Objekte (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