Unified Versioning Through Feature Logic.

Andreas Zeller Gregor Snelting

Published in: ACM Trans. Softw. Eng. Methodol. (1997)

Keyphrases

modal logic
logic programming
real time
feature vectors
image features
classical logic
databases
machine learning
feature representation
temporal databases
automated reasoning