Login / Signup

On the Uniform Computational Content of the Baire Category Theorem.

Vasco BrattkaMatthew HendtlassAlexander P. Kreuzer
Published in: Notre Dame J. Formal Log. (2018)
Keyphrases
  • metadata
  • multimedia
  • data mining
  • artificial intelligence
  • computer vision
  • web content
  • multimedia content
  • neural network
  • image sequences
  • object detection
  • computational models
  • computational power