Enumerating Minimally Revised Specifications Using Dualization.

Ken Satoh Takeaki Uno

Published in: JSAI Workshops (2005)

Keyphrases

artificial neural networks
delay insensitive
high level
formal specification
control flow
data structure
special case
database
machine learning
information retrieval
social networks
computer vision
information systems
case study
finite state machines
attribute grammars