The Arithmetic-Geometric Progression Abstract Domain.

Published in: VMCAI (2005)

Keyphrases

databases
knowledge base
domain specific
higher level
real time
genetic algorithm
information systems
multiscale
reinforcement learning
evolutionary algorithm
domain independent
complex domains
arithmetic operations