Verifying Parameterized Refinement.

Maty Sylla Frank A. Stomp Willem P. de Roever

Published in: ICECCS (2005)

Keyphrases

model checking
artificial intelligence
preprocessing
step wise
information retrieval
computer vision
information systems
multimedia
three dimensional
data structure
image registration
logic programs
query refinement
refinement process