Decidability of the HD0L ultimate periodicity problem.

Published in: RAIRO Theor. Informatics Appl. (2013)

Keyphrases

description logics
high definition
query answering
real time
database
periodic patterns
decision procedures
periodicity detection
periodic motion
high resolution
multiresolution
evolutionary algorithm
search algorithm
optimal solution
image sequences
artificial intelligence
information retrieval
real world
data sets