Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).

Mark Bouwman Bas Luttik Tim A. C. Willemse

Published in: FORTE (2021)

Keyphrases

extended abstract
automated analysis
automated detection
biomedical imaging
visual analysis
databases
machine learning
video analysis