Proving Linearizability Via Non-atomic Refinement.

John Derrick Gerhard Schellhorn Heike Wehrheim

Published in: IFM (2007)

Keyphrases

refinement process
learning algorithm
image segmentation
face recognition
similarity measure
high quality
multi agent
evolutionary algorithm
color images
end users