SVIP: Sequence VerIfication for Procedures in Videos.

Yicheng Qian Weixin Luo Dongze Lian Xu Tang Peilin Zhao Shenghua Gao

Published in: CVPR (2022)

Keyphrases

video frames
video sequences
model checking
video content
video analysis
functional verification
long sequences
video data
formal verification
human actions
human activities
asynchronous circuits
video surveillance
database
search engine
data sets
real time