A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic.

Manfred Droste Vitaly Perevoshchikov

Published in: ICALP (2) (2014)

Keyphrases

relative distance
feature extraction
timed automata
computer vision
human body
inference rules