Verified three-way program merge.

Marcelo Sousa Isil Dillig Shuvendu K. Lahiri

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

computer vision
information technology
evolutionary algorithm
computer programs
database
databases
information systems
feature selection
image processing
decision trees
case study
database systems
similarity measure
optimal solution
cooperative
hidden markov models