Login / Signup
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming.
Cynthia Kop
Jakob Grue Simonsen
Published in:
ESOP (2017)
Keyphrases
</>
higher order
decision problems
natural images
worst case
computational complexity
complexity measures
conditional random fields
markov random field
computational cost
database
optimal solution
reinforcement learning
high level
learning algorithm
real world
neural network
databases