Verification of KPN Level Transformations.

Chandan Karfa Dipankar Sarkar Chittaranjan A. Mandal

Published in: VLSI Design (2013)

Keyphrases

model checking
levels of abstraction
computer vision
image analysis
higher level
database
neural network
genetic algorithm
social networks
image segmentation
database systems
multiscale
multiresolution
control system
digital images