Login / Signup

Asynchronous Correspondences Between Hybrid Trajectory Semantics.

Patrick Cousot
Published in: CoRR (2022)
Keyphrases
  • formal semantics
  • semantic information
  • logic programming
  • trajectory data
  • neural network
  • point correspondences
  • databases
  • programming language
  • pairwise
  • closed form
  • owl ontologies
  • hybrid approaches