Efficient Incrementalized Runtime Checking of Linear Measures on Lists.

Alex Gyori Pranav Garg Edgar Pek P. Madhusudan

Published in: ICST (2017)

Keyphrases

data mining
image processing
digital libraries
relational databases
cost effective
neural network
genetic algorithm
decision making
website
three dimensional
optimal solution
computational complexity
lower bound