Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386907249> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4386907249 abstract "The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving privacy. Existing approaches to video search require either manual inspection or a deep learning model with massive training. We develop a method that uses recent advances in vision and language models, as well as formal methods, to search for events of interest in video clips automatically and efficiently. The method consists of an algorithm to map text-based event descriptions into linear temporal logic over finite traces (LTL$_f$) and an algorithm to construct an automaton encoding the video information. Then, the method formally verifies the automaton representing the video against the LTL$_f$ specifications and adds the pertinent video clips to the search result if the automaton satisfies the specifications. We provide qualitative and quantitative analysis to demonstrate the video-searching capability of the proposed method. It achieves over 90 percent precision in searching over privacy-sensitive videos and a state-of-the-art autonomous driving dataset." @default.
- W4386907249 created "2023-09-21" @default.
- W4386907249 creator A5024120306 @default.
- W4386907249 creator A5068441112 @default.
- W4386907249 creator A5079282768 @default.
- W4386907249 creator A5080724186 @default.
- W4386907249 date "2023-09-18" @default.
- W4386907249 modified "2023-10-16" @default.
- W4386907249 title "Specification-Driven Video Search via Foundation Models and Formal Verification" @default.
- W4386907249 doi "https://doi.org/10.48550/arxiv.2309.10171" @default.
- W4386907249 hasPublicationYear "2023" @default.
- W4386907249 type Work @default.
- W4386907249 citedByCount "0" @default.
- W4386907249 crossrefType "posted-content" @default.
- W4386907249 hasAuthorship W4386907249A5024120306 @default.
- W4386907249 hasAuthorship W4386907249A5068441112 @default.
- W4386907249 hasAuthorship W4386907249A5079282768 @default.
- W4386907249 hasAuthorship W4386907249A5080724186 @default.
- W4386907249 hasBestOaLocation W43869072491 @default.
- W4386907249 hasConcept C110251889 @default.
- W4386907249 hasConcept C112505250 @default.
- W4386907249 hasConcept C11413529 @default.
- W4386907249 hasConcept C121332964 @default.
- W4386907249 hasConcept C125411270 @default.
- W4386907249 hasConcept C154945302 @default.
- W4386907249 hasConcept C167822520 @default.
- W4386907249 hasConcept C199360897 @default.
- W4386907249 hasConcept C2779662365 @default.
- W4386907249 hasConcept C2780801425 @default.
- W4386907249 hasConcept C41008148 @default.
- W4386907249 hasConcept C48103436 @default.
- W4386907249 hasConcept C62520636 @default.
- W4386907249 hasConcept C80444323 @default.
- W4386907249 hasConceptScore W4386907249C110251889 @default.
- W4386907249 hasConceptScore W4386907249C112505250 @default.
- W4386907249 hasConceptScore W4386907249C11413529 @default.
- W4386907249 hasConceptScore W4386907249C121332964 @default.
- W4386907249 hasConceptScore W4386907249C125411270 @default.
- W4386907249 hasConceptScore W4386907249C154945302 @default.
- W4386907249 hasConceptScore W4386907249C167822520 @default.
- W4386907249 hasConceptScore W4386907249C199360897 @default.
- W4386907249 hasConceptScore W4386907249C2779662365 @default.
- W4386907249 hasConceptScore W4386907249C2780801425 @default.
- W4386907249 hasConceptScore W4386907249C41008148 @default.
- W4386907249 hasConceptScore W4386907249C48103436 @default.
- W4386907249 hasConceptScore W4386907249C62520636 @default.
- W4386907249 hasConceptScore W4386907249C80444323 @default.
- W4386907249 hasLocation W43869072491 @default.
- W4386907249 hasOpenAccess W4386907249 @default.
- W4386907249 hasPrimaryLocation W43869072491 @default.
- W4386907249 hasRelatedWork W1517416010 @default.
- W4386907249 hasRelatedWork W1518566078 @default.
- W4386907249 hasRelatedWork W2028415656 @default.
- W4386907249 hasRelatedWork W2061013587 @default.
- W4386907249 hasRelatedWork W2074675632 @default.
- W4386907249 hasRelatedWork W2274428774 @default.
- W4386907249 hasRelatedWork W2290376746 @default.
- W4386907249 hasRelatedWork W2604575008 @default.
- W4386907249 hasRelatedWork W2612831843 @default.
- W4386907249 hasRelatedWork W2991618286 @default.
- W4386907249 isParatext "false" @default.
- W4386907249 isRetracted "false" @default.
- W4386907249 workType "article" @default.