Proving Symmetries by Model Transformation.

Christopher Mears Todd Niven Marcel Jackson Mark Wallace

Published in: CP (2011)

Keyphrases

computational model
mathematical model
probabilistic model
formal model
autoregressive
data mining
probability distribution
statistical model
machine learning
genetic algorithm
web services
high level
network model
linear model