Towards First-Order Symbolic Trajectory Evaluation.

Donglin Li Otmane Aït Mohamed Sa'ed Abed

Published in: ISMVL (2007)

Keyphrases

case study
first order logic
neural network
computer vision
evaluation methods
real time
website