Conditional Congruence Closure over Uninterpreted and Interpreted Symbols.

Published in: J. Syst. Sci. Complex. (2019)

Keyphrases

socio technical
random field model
hidden markov models
symbol recognition
finite alphabet
real time
data sets
data mining
information systems
multiscale
mathematical expressions