Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency.
Paul ValiantPublished in: TCC (2008)
Keyphrases
- knowledge base
- knowledge representation
- learning systems
- previously computed
- computational complexity
- knowledge acquisition
- knowledge discovery
- background knowledge
- vector space
- knowledge based systems
- knowledge sources
- knowledge management
- search space
- data sets
- real time
- higher dimensional
- database
- equational theories
- domain experts
- higher level
- low dimensional
- expert systems
- machine learning
- databases