Login / Signup

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.

Gokul HariharanBrian KempaTichakorn WongpiromsarnPhillip H. JonesKristin Y. Rozier
Published in: NSV/FoMLAS@CAV (2022)
Keyphrases
  • multi type
  • multiple types
  • data objects
  • formal theory
  • database
  • relational data
  • modal logic
  • low dimensional spaces
  • semi supervised
  • cost model
  • reverse nearest neighbor