Analysis of High-Speed Logic Families.

G. Privitera Francesco Pessolano

Published in: PATMOS (2003)

Keyphrases

high speed
quantitative analysis
real time
multiscale
artificial neural networks
real world
knowledge base
data analysis
image analysis
logic programming
statistical analysis
model checking
computational properties
predicate logic