Circumscribing Embedded Implications (without Stratifications).

L. Thorne McCarty

Published in: J. Log. Program. (1993)

Keyphrases

embedded systems
information retrieval
data sets
control software
real time
artificial intelligence
objective function
trade off
digital images