Behavioral Refinement and Compatibility of Statechart Extensions.

Christian Prehofer

Published in: Electron. Notes Theor. Comput. Sci. (2013)

Keyphrases

test cases
efficient implementation
neural network
real world
data sets
refinement process
image processing
website
default logic
human decision making
default theories
relevance feedback
data structure
image sequences
three dimensional
knowledge base
social networks