Login / Signup
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value.
Santiago Hernández-Orozco
Francisco Hernández Quiroz
Hector Zenil
Wilfried Sieg
Published in:
CoRR (2015)
Keyphrases
</>
information sources
end users
information flow
information content
databases
social media
domain knowledge
computational complexity
multimedia
information extraction
higher level
artificial intelligence
information processing
spatial information
information sharing
information retrieval
neural network