Complexity and information in invariant inference.

Yotam M. Y. Feldman Neil Immerman Mooly Sagiv Sharon Shoham

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

information processing
machine learning
computer vision
case study
computational complexity
domain knowledge
computational cost
information sources
data sets
decision making
background knowledge
information sharing