Uniform First-Order Threshold Implementations.

Tim Beyne Begü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