On Idempotent Ultrafilters in Higher-order Reverse Mathematics.
Alexander P. KreuzerPublished in: J. Symb. Log. (2015)
Keyphrases
- higher order
- high order
- markov random field
- natural images
- pairwise
- conditional random fields
- geometrical interpretation
- low order
- computer science
- data sets
- lower order
- markov models
- computer assisted instruction
- neural network
- information systems
- computer programming
- general theory
- genetic algorithm
- mathematical knowledge