On the Verification Problem of Nonregular Properties for Nonregular Processes

Ahmed Bouajjani Rachid Echahed Peter Habermehl

Published in: LICS (1995)

Keyphrases

neural network
artificial neural networks
wide range
desirable properties
face verification
data mining
information retrieval
artificial intelligence
image processing
image segmentation
high level
objective function
petri net
structural properties