Combining Static and Dynamic Contract Checking for Curry.

Published in: LOPSTR (2017)

Keyphrases

databases
data sets
genetic algorithm
search algorithm
supply chain
data mining
decision making
decision trees
image segmentation
multiscale
optimal solution
video sequences
computational complexity