A Maude Formalization of Object Nets.

Lorenzo Capra Michael Köhler-Bußmeier

Published in: ECSA (Tracks and Workshops) (2022)

Keyphrases

multiple objects
d objects
target object
data mining
formal model
object tracking
keypoints
computer vision
decision trees
lighting conditions
artificial intelligence
object classes
object model
machine learning
data sets
complex scenes
similar objects