Property-Driven Partitioning for Abstraction Refinement.

Roberto Sebastiani Stefano Tonetta Moshe Y. Vardi

Published in: TACAS (2007)

Keyphrases

data driven
high level
neural network
desirable properties
query refinement
databases
information systems
image processing
web services
case study
multiscale
data structure
expert systems
data abstraction
refinement process