Asynchronous Correspondences Between Hybrid Trajectory Semantics.

Published in: Principles of Systems Design (2022)

Keyphrases

formal semantics
logic programming
database
conceptual model
hybrid approaches
trajectory data
image features
semantic information
delay insensitive
operational semantics
feature matching
programming language
control system
spatio temporal
pairwise
search algorithm
neural network
data sets