Expressible sharing for functional circuit description.

Matthew Naylor Colin Runciman

Published in: High. Order Symb. Comput. (2009)

Keyphrases

high level
high speed
real time
neural network
functional analysis
analog vlsi
databases
knowledge base
case study
bayesian networks
relational databases
information sharing
knowledge sharing
transitive closure