Specifying and verifying a railroad crossing with CafeOBJ.

Kazuhiro Ogata Kokichi Futatsugi

Published in: IPDPS (2001)

Keyphrases

model checking
database systems
face recognition
search algorithm
feature space
active learning
image registration