A categorical account of composition methods in logic.

Tomás Jakl Dan Marsden Nihil Shah

Published in: LICS (2023)

Keyphrases

significant improvement
preprocessing
neural network
information systems
cross validation
image segmentation
computational cost
empirical studies
qualitative and quantitative
multi valued
methods require