An automatically verified generalized multifunction arithmetic pipeline.

Published in: EURO-DAC (1994)

Keyphrases

hidden markov models
automatically generated
data sets
real time
social networks
image processing
databases
machine learning
knowledge base
website
decision trees
information technology
mobile robot
probabilistic model
unsupervised manner