Inferring Physical Units in B Models.

Sebastian Krings Michael Leuschel

Published in: SEFM (2013)

Keyphrases

probabilistic model
statistical models
parameter estimation
complex systems
mathematical models
processing units
artificial intelligence
computer vision
decision making
search algorithm
graphical models
markov chain
regression model