• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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