Proving Confluence in the Confluence Framework with CONFident.

Raúl Gutiérrez Salvador Lucas Miguel Vítores

Published in: CoRR (2023)

Keyphrases

main contribution
probabilistic model
theoretical framework
computational framework
rewrite systems
data sets
machine learning
information systems
image processing
three dimensional
reinforcement learning
association rules
user interface
evolutionary algorithm
multiresolution
lightweight