Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior.

David A. Fura Arun K. Somani

Published in: TPHOLs (1994)

Keyphrases

database
higher level
statistical models
semantic level
prior knowledge
physical systems
data mining
bayesian networks
natural language
model selection
semantic information
semantic similarity
levels of abstraction
abstraction levels