Sign in

Uniform First-Order Threshold Implementations.

Tim BeyneBegül Bilgin
Published in: SAC (2016)
Keyphrases
  • first order logic
  • higher order
  • efficient implementation
  • databases
  • horn clauses
  • adaptive threshold
  • stochastic dominance
  • computer vision
  • case study
  • multiscale
  • special case
  • linear temporal logic