Restricted symbolic evaluation is fast and useful.

J. Lawrence Carter Barry K. Rosen Gordon L. Smith Vijay Pitchumani

Published in: ICCAD (1989)

Keyphrases

evaluation method
evaluation methods
real world
image segmentation
real time
artificial intelligence
search algorithm
control system
special case
gold standard
evaluation model