Rule-Based Approaches for Equivalence Checking of SpecC Programs.

Subash Shankar Masahiro Fujita

Published in: MEMOCODE (2008)

Keyphrases

machine learning algorithms
expert systems
search algorithm
alternative approaches
data driven
evolutionary algorithm
multi agent systems
data sets
computer vision
genetic algorithm
multi agent
decision making
social networks
machine learning
machine learning methods
strengths and weaknesses
databases