Login / Signup
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