LeeTL: LTL with quantifications over model objects.

Pouria Mellati Ehsan Khamespanah Ramtin Khosravi

Published in: SPIN (2017)

Keyphrases

probabilistic model
management system
theoretical framework
prior knowledge
computational model
mathematical model
formal model
high level
artificial neural networks
probability distribution
object model
object features
computer vision
object segmentation
statistical model
em algorithm
hidden markov models