Tractable higher-order under-approximating AE extensions for non-linear systems.

Eric Goubault Sylvie Putot

Published in: ADHS (2021)

Keyphrases

higher order
natural images
high order
artificial intelligence
expert systems
software engineering
information retrieval systems
computer systems
knowledge based systems
np complete