Plug-in timing models for an abstract timing verifier.

David E. Wallace Carlo H. Séquin

Published in: DAC (1986)

Keyphrases

probabilistic model
real world
artificial intelligence
database
information retrieval
learning algorithm
feature selection
decision making
e learning
multiscale
data structure
complex systems
classification models