Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S.

Michele Boreale

Published in: SOFSEM (2018)

Keyphrases

learning algorithm
computationally efficient
theoretical analysis
benchmark datasets
computer vision
data structure
times faster
orders of magnitude
data mining algorithms
linear algebra
neural network
graph theory
computational efficiency
higher order
probabilistic model
computational cost
machine learning