Randomized First-Order Monitoring with Hashing.

Joshua Schneider

Published in: RV (2022)

Keyphrases

monitoring system
higher order
real time
first order logic
file organization
machine learning
decision trees
similarity search
early warning
databases
data structure
decision support
hash functions
horn clauses
quantifier elimination
stochastic dominance