ABC: Algebraic Bound Computation for Loops.

Régis Blanc Thomas A. Henzinger Thibaud Hottelier Laura Kovács

Published in: LPAR (Dakar) (2010)

Keyphrases

linear algebra
upper bound
worst case
artificial intelligence
lower bound
higher order
real world
genetic algorithm
learning algorithm
decision trees
database systems
data structure
hidden markov models
particle swarm optimization
artificial bee colony