Layout verification for mixed-domain integrated MEMS.

Bikram Baidya Tamal Mukherjee

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)

Keyphrases

domain specific
model checking
domain independent
data sets
genetic algorithm
website
real time
neural network
learning algorithm
metadata
decision trees
image sequences
bayesian networks
search algorithm
signature verification
domain models