Statement Inversion and Strongest Postcondition.

Ralph-Johan Back Joakim von Wright

Published in: Sci. Comput. Program. (1993)

Keyphrases

image reconstruction
laplace transform
decision making
viewpoint
databases
machine learning
computer vision
feature extraction
reinforcement learning
data streams
dynamic programming