Login / Signup
06191 Summary -- Rigorous Methods for Software Construction and Analysis.
Jean-Raymond Abrial
Uwe Glässer
Published in:
Rigorous Methods for Software Construction and Analysis (2007)
Keyphrases
</>
machine learning methods
preprocessing
benchmark datasets
data sets
neural network
information retrieval
data analysis
statistical analysis
real time
databases
reinforcement learning
significant improvement
probabilistic model
support vector machine
quantitative analysis