Delta-Decidability over the Reals.

Sicun Gao Jeremy Avigad Edmund M. Clarke

Published in: LICS (2012)

Keyphrases

description logics
query answering
constraint databases
decision procedures
yangtze river
database
hidden markov models
transitive closure
data mining
computer vision
three dimensional
data management
linear constraints
type checking