On Modal Refinement and Consistency.

Kim Guldstrand Larsen Ulrik Nyman Andrzej Wasowski

Published in: CONCUR (2007)

Keyphrases

modal logic
consistency checking
real time
computer vision
cost function
query refinement
path consistency
refinement process
maintaining consistency
data sets
neural network
data structure
natural language
special case