C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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