The Capture Calculus Toolset.

Published in: ASE (2011)

Keyphrases

databases
image processing
computer algebra
database
neural network
genetic algorithm
web services
case study
image segmentation
bayesian networks
hidden markov models
software engineering
automated deduction