Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs.

Thomas Sternagel Christian Sternagel

Published in: CoRR (2016)

Keyphrases

random field model
conditional probabilities
genetic algorithm
real time
data sets
data mining
decision trees
case study
database systems
random fields
conditional logic