Provably correct and complete transaction rules for updating 3D city models.

Gerhard Gröger Lutz Plümer

Published in: GeoInformatica (2012)

Keyphrases

provably correct
situation calculus
database
error estimates
formal methods
association rules
interval arithmetic
search space
data mining
background knowledge
decision rules
classification rules
rule sets
concurrency control
transaction processing