Pragmatic verification for hybrid and real-time designs.

Mark R. Greenstreet

Published in: ACC (2000)

Keyphrases

language generation
real time
neural network
information retrieval
low cost
similarity measure
design tools
data acquisition
quality of service
vision system
high speed
search algorithm
optimal solution
decision trees
decision making
computer vision
artificial intelligence
learning algorithm
databases
data sets