A computing unit for FFP function evaluation in support of correctness proofs.

Monica Alderighi Giacomo R. Sechi Roberto Vaccaro Lorenzo Verdoscia

Published in: MICRO (1989)

Keyphrases

information retrieval
artificial intelligence
evolutionary algorithm
knowledge management
evaluation model
neural network
machine learning
learning algorithm
evaluation criteria
gold standard
support systems