A complete characterization of deterministic regular liveness properties.

Frank Nießner Ulrich Ultes-Nitsche

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

Keyphrases

objective function
database
desirable properties
real time
knowledge base
image processing
clustering algorithm
case study
search engine
wide range
search algorithm
preprocessing
artificial neural networks