Non-deterministic algebraization of logics by swap structures1.

Marcelo E. Coniglio Aldo Figallo Orellano Ana Claudia Golzio

Published in: Log. J. IGPL (2020)

Keyphrases

graph cuts
expressive power
neural network
real time
machine learning
website
image segmentation
database systems
multiscale