Nonlocal Flow of Control and Kleene Algebra with Tests.

Published in: LICS (2008)

Keyphrases

database
control system
data acquisition
control strategy
flow field
propositional logic
databases
computer vision
knowledge base
image restoration
expressive power
image denoising
regular expressions
optimal control
control method
control theory