A functional interpretation with state.

Published in: LICS (2018)

Keyphrases

high level
database
real time
genetic algorithm
website
search algorithm
multiresolution
wireless sensor networks
image interpretation