Login / Signup
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