Matches in SemOpenAlex for { <https://semopenalex.org/work/W4303449423> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4303449423 abstract "Machine learning techniques using neural networks have achieved promising success for time-series data classification. However, the models that they produce are challenging to verify and interpret. In this paper, we propose an explainable neural-symbolic framework for the classification of time-series behaviors. In particular, we use an expressive formal language, namely Signal Temporal Logic (STL), to constrain the search of the computation graph for a neural network. We design a novel time function and sparse softmax function to improve the soundness and precision of the neural-STL framework. As a result, we can efficiently learn a compact STL formula for the classification of time-series data through off-the-shelf gradient-based tools. We demonstrate the computational efficiency, compactness, and interpretability of the proposed method through driving scenarios and naval surveillance case studies, compared with state-of-the-art baselines." @default.
- W4303449423 created "2022-10-07" @default.
- W4303449423 creator A5031884953 @default.
- W4303449423 creator A5051737344 @default.
- W4303449423 creator A5085296684 @default.
- W4303449423 creator A5086654963 @default.
- W4303449423 date "2022-10-04" @default.
- W4303449423 modified "2023-09-30" @default.
- W4303449423 title "Learning Signal Temporal Logic through Neural Network for Interpretable Classification" @default.
- W4303449423 doi "https://doi.org/10.48550/arxiv.2210.01910" @default.
- W4303449423 hasPublicationYear "2022" @default.
- W4303449423 type Work @default.
- W4303449423 citedByCount "0" @default.
- W4303449423 crossrefType "posted-content" @default.
- W4303449423 hasAuthorship W4303449423A5031884953 @default.
- W4303449423 hasAuthorship W4303449423A5051737344 @default.
- W4303449423 hasAuthorship W4303449423A5085296684 @default.
- W4303449423 hasAuthorship W4303449423A5086654963 @default.
- W4303449423 hasBestOaLocation W43034494231 @default.
- W4303449423 hasConcept C119857082 @default.
- W4303449423 hasConcept C14036430 @default.
- W4303449423 hasConcept C153180895 @default.
- W4303449423 hasConcept C154945302 @default.
- W4303449423 hasConcept C188441871 @default.
- W4303449423 hasConcept C199360897 @default.
- W4303449423 hasConcept C2781067378 @default.
- W4303449423 hasConcept C39920170 @default.
- W4303449423 hasConcept C41008148 @default.
- W4303449423 hasConcept C50644808 @default.
- W4303449423 hasConcept C78458016 @default.
- W4303449423 hasConcept C86803240 @default.
- W4303449423 hasConceptScore W4303449423C119857082 @default.
- W4303449423 hasConceptScore W4303449423C14036430 @default.
- W4303449423 hasConceptScore W4303449423C153180895 @default.
- W4303449423 hasConceptScore W4303449423C154945302 @default.
- W4303449423 hasConceptScore W4303449423C188441871 @default.
- W4303449423 hasConceptScore W4303449423C199360897 @default.
- W4303449423 hasConceptScore W4303449423C2781067378 @default.
- W4303449423 hasConceptScore W4303449423C39920170 @default.
- W4303449423 hasConceptScore W4303449423C41008148 @default.
- W4303449423 hasConceptScore W4303449423C50644808 @default.
- W4303449423 hasConceptScore W4303449423C78458016 @default.
- W4303449423 hasConceptScore W4303449423C86803240 @default.
- W4303449423 hasLocation W43034494231 @default.
- W4303449423 hasOpenAccess W4303449423 @default.
- W4303449423 hasPrimaryLocation W43034494231 @default.
- W4303449423 hasRelatedWork W2743258233 @default.
- W4303449423 hasRelatedWork W2977314777 @default.
- W4303449423 hasRelatedWork W3012234327 @default.
- W4303449423 hasRelatedWork W3208883981 @default.
- W4303449423 hasRelatedWork W4205364923 @default.
- W4303449423 hasRelatedWork W4206534706 @default.
- W4303449423 hasRelatedWork W4221015625 @default.
- W4303449423 hasRelatedWork W4229079080 @default.
- W4303449423 hasRelatedWork W4307834408 @default.
- W4303449423 hasRelatedWork W4320925816 @default.
- W4303449423 isParatext "false" @default.
- W4303449423 isRetracted "false" @default.
- W4303449423 workType "article" @default.