Coinductive Validity.

Rob van Glabbeek

Published in: CoRR (2021)

Keyphrases

image processing
object recognition
preprocessing
expert systems
motion estimation
medical images
distributed systems
maximum likelihood