Being careful about theory combination.

Dejan Jovanovic Clark W. Barrett

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

computational model
theoretical framework
real time
data sets
real world
knowledge base
feature extraction
theoretical basis