Specifying and verifying imprecise sequential datapaths by Arithmetic Transforms.

Katarzyna Radecka Zeljko Zilic

Published in: ICCAD (2002)

Keyphrases

data sets
real time
learning algorithm
decision making
neural network
real world
machine learning
relational databases
special case
sequential data
uncertain information
parallel version
sequential search