Undecidability of existential properties in picture languages.

Denis Robilliard David Simplot

Published in: Theor. Comput. Sci. (2000)

Keyphrases

picture languages
data sets
description logics
desirable properties
data mining
information systems
dynamic programming
real time
learning algorithm
case study
image sequences
training data
incomplete information
topological properties