Automatic Generation of CSP || B Skeletons from xUML Models.

Edward Turner Helen Treharne Steve A. Schneider Neil Evans

Published in: ICTAC (2008)

Keyphrases

probabilistic model
neural network
database
constraint satisfaction problems
real time
data sets
hidden markov models
statistical models
classification models
parametric models
tree decomposition