Precondition Calculation for Loops Iterating over Data Structures.

Juan Zhai Bin Li Zhenhao Tang Jianhua Zhao Xuandong Li

Published in: QRS (2016)

Keyphrases

data structure
suffix tree
data types
search algorithm
calculation method
efficient data structures
database
neural network
real time
computer vision
multimedia
image sequences
multiresolution
database operations