Some Techniques for Efficient Symbolic Simulation-Based Verification.

Prabhat Jain Ganesh Gopalakrishnan

Published in: ICCD (1992)

Keyphrases

neural network
real world
feature selection
information retrieval
optimal solution
medical images
cost effective