Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.

Xiaohong Chen Xi Wu Mengyao Zhao Haiying Sun

Published in: TASE (2019)

Keyphrases

constraint satisfaction problems
high level
moving objects
np complete
constraint propagation
arc consistency
constraint satisfaction
model checking
natural language descriptions
image frames
frame rate
constraint programming
video frames
data sets
motion estimation
np hard
computer vision