Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.

Published in: CoRR (2022)

Keyphrases

high level
probabilistic model
prior knowledge
objective function
formal model
cost function
real time
probability distribution
computational model
case study
database systems
genetic algorithm
machine learning
databases
theoretical framework
mathematical model
experimental data
sensitivity analysis
database